English

Random Graph: Stronger logic but with the zero one law

Logic 2021-07-16 v2

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 Gn,1/2{\mathcal G}_{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 Gn,1/2{\mathcal G}_{n,1/2} the formulas φ(x),ψ(x)\varphi(x),\psi(x) equivalent in it.

Keywords

Cite

@article{arxiv.1511.05383,
  title  = {Random Graph: Stronger logic but with the zero one law},
  author = {Saharon Shelah},
  journal= {arXiv preprint arXiv:1511.05383},
  year   = {2021}
}
R2 v1 2026-06-22T11:47:23.709Z