Papers
Topics
Authors
Recent
Search
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 12\frac 12 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 G<em>n,1/2{\mathcal G}<em>{n,1/2} and on the other hand there is a formula φ(x)\varphi(x) such that for no first order ψ(x)\psi(x) do we have: for every random enough G</em>n,1/2{\mathcal G}</em>{n,1/2} the formulas φ(x),ψ(x)\varphi(x),\psi(x) equivalent in it.

Authors (1)

Summary

No one has generated a summary of this paper yet.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.