Zero-One Laws for Existential First-Order Sentences of Bounded Quantifier Depth

DOI10.1145/3489466zbMath1505.03078arXiv1907.03879OpenAlexW2959020644MaRDI QIDQ5034234

M. E. Zhukovskii, Moumanti Podder

Publication date: 24 February 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.03879

zbMATH Keywords

zero-one lawsEhrenfeucht gamesstrictly balanced graphs\( \alpha \)-safe pairsexistential first-order logicgraph extension properties

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Zero-one laws (60F20) Model theory of finite structures (03C13)

This page was built for publication: Zero-One Laws for Existential First-Order Sentences of Bounded Quantifier Depth