English

Failure of 0-1 law for sparse random graph in strong logics

Logic 2017-06-06 v1

Abstract

Let α(0,1)R\alpha\in(0,1)_\mathbb{R} be irrational and Gn=Gn,1/nαG_n = G_{{n, 1/n}^\alpha} be the random graph with edge probability 1/nα1/n^\alpha; we know that it satisfies the 0-1 law for first order logic. We deal with the failure of the 0-1 law for stronger logics: L,k,k\mathbb{L}_{ \infty, k}, k large enough and the LFP, least fix point logic.

Keywords

Cite

@article{arxiv.1706.01226,
  title  = {Failure of 0-1 law for sparse random graph in strong logics},
  author = {Saharon Shelah},
  journal= {arXiv preprint arXiv:1706.01226},
  year   = {2017}
}