Quantifier alternation in first-order formulas with infinite spectra
From MaRDI portal
Publication:2190893
DOI10.1134/S003294601704007XzbMath1469.03090OpenAlexW2794256337MaRDI QIDQ2190893
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
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