Failure of 0-1 law for sparse random graph in strong logics
Logic
2017-06-06 v1
Abstract
Let be irrational and be the random graph with edge probability ; 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: large enough and the LFP, least fix point logic.
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}
}