Logical laws for existential monadic second-order sentences with infinite first-order parts

DOI10.1134/S1064562417060242zbMath1420.03062OpenAlexW2781524456MaRDI QIDQ1707156

M. E. Zhukovskii, Michał Gil Sanchez

Publication date: 28 March 2018

Published in: Doklady Mathematics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (5)

Disproof of the zero-one law for existential monadic properties of a sparse binomial random graph ⋮ Existential monadic second order logic of undirected graphs: the Le Bars conjecture is false ⋮ A disproof the Le Bars conjecture about the zero-one law for existential monadic second-order sentences ⋮ Existential monadic second order convergence law fails on sparse random graphs ⋮ Zero-one laws for sentences with \(k\) variables

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zero-one \(k\)-law
• Elements of finite model theory.
• Threshold spectra via the Ehrenfeucht game
• On random models of finite power and monadic logic
• Infinitary logics and 0-1 laws
• The 0-1 law fails for monadic existential second-order logic on undirected graphs
• Spectra of short monadic sentences about sparse random graphs
• Probabilities on finite models
• Random graphs: models and asymptotic characteristics
• The strange logic of random graphs

This page was built for publication: Logical laws for existential monadic second-order sentences with infinite first-order parts