Quantifier alternation in first-order formulas with infinite spectra

DOI10.1134/S003294601704007XzbMath1469.03090OpenAlexW2794256337MaRDI QIDQ2190893

M. E. Zhukovskii

Publication date: 23 June 2020

Published in: Problems of Information Transmission (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s003294601704007x

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the zero-one \(k\)-law extensions
• Zero-one \(k\)-law
• First-order and monadic properties of highly sparse random graphs
• Infinite spectra in the first order theory of graphs
• Threshold functions for extension statements
• On infinite spectra of first-order properties of random graphs
• Zero-One Laws for Sparse Random Graphs
• Threshold functions for small subgraphs
• Probabilities on finite models
• Estimation of the number of maximal extensions in a random graph
• Random graphs: models and asymptotic characteristics
• The strange logic of random graphs

This page was built for publication: Quantifier alternation in first-order formulas with infinite spectra