On infinite spectra of first-order properties of random graphs
From MaRDI portal
Publication:2404855
zbMath1373.05182arXiv1609.01115MaRDI QIDQ2404855
Publication date: 20 September 2017
Published in: Moscow Journal of Combinatorics and Number Theory (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1609.01115
Random graphs (graph-theoretic aspects) (05C80) Zero-one laws (60F20) Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)
Related Items (10)
Short Monadic Second Order Sentences about Sparse Random Graphs ⋮ Limit points of spectra for first-order properties of random hypergraphs ⋮ Spectra of first-order formulas with a low quantifier depth and a small number of quantifier alternations ⋮ Quantifier alternation in first-order formulas with infinite spectra ⋮ First order sentences about random graphs: small number of alternations ⋮ Bounded quantifier depth spectrum for random uniform hypergraphs ⋮ On limit points of spectra of first-order sentences with quantifier depth 4 ⋮ Spectrum of FO logic with quantifier depth 4 is finite ⋮ Zero-one laws for sentences with \(k\) variables ⋮ On the 4-spectrum of first-order properties of random graphs
This page was built for publication: On infinite spectra of first-order properties of random graphs
