2000 character limit reached
Random Graph: Stronger logic but with the zero one law
Published 17 Nov 2015 in math.LO | (1511.05383v2)
Abstract: We find a logic really stronger than first order for the random graph with edge probability but satisfies the 0-1 law. This means that on the one hand it satisfies the 0-1 law, e.g. for the random graph and on the other hand there is a formula such that for no first order do we have: for every random enough the formulas equivalent in it.
Paper Prompts
Sign up for free to create and run prompts on this paper.