Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences

DOI10.2307/2275743zbMath0880.03016OpenAlexW2171640809MaRDI QIDQ4338327

Anne Vedø

Publication date: 28 January 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275743

zbMATH Keywords

finite model theory0-1 laws

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Related Items

Testable and untestable classes of first-order formulae ⋮ Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview