On limit points of spectra of first-order sentences with quantifier depth 4

DOI10.2140/MOSCOW.2020.9.303zbMATH Open1451.05214OpenAlexW3109847026MaRDI QIDQ2211264FDOQ2211264

Authors: Yury Yarovikov 

Publication date: 10 November 2020

Published in: Moscow Journal of Combinatorics and Number Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/moscow.2020.9.303

Recommendations

• On limit points of spectra of the random graph first-order properties
• First order sentences about random graphs: small number of alternations
• On the 4-spectrum of first-order properties of random graphs
• Limit points of spectra for first-order properties of random hypergraphs
• On the spectra of first-order language properties for random graphs

zbMATH Keywords

first-order logicrandom graphszero-one law

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Model theory of finite structures (03C13)

Cites Work

• On infinite spectra of first-order properties of random graphs
• Zero-One Laws for Sparse Random Graphs
• Zero-one \(k\)-law
• An application of games to the completeness problem for formalized theories
• First order sentences about random graphs: small number of alternations

Cited In (1)

• Spectrum of FO logic with quantifier depth 4 is finite

This page was built for publication: On limit points of spectra of first-order sentences with quantifier depth 4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2211264)