A disproof the Le Bars conjecture about the zero-one law for existential monadic second-order sentences

DOI10.1134/S1064562418070311zbMath1484.03072WikidataQ114847316 ScholiaQ114847316MaRDI QIDQ1732077

Xianqiang Yang

Publication date: 15 March 2019

Published in: Doklady Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

05C80: Random graphs (graph-theoretic aspects)

60F20: Zero-one laws

03C13: Model theory of finite structures

03C85: Second- and higher-order model theory