A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality

DOI10.1006/inco.1993.1062zbMath0803.03016OpenAlexW2082513803WikidataQ124830017 ScholiaQ124830017MaRDI QIDQ1317435

Wiesław Szwast, Leszek Pacholski

Publication date: 24 March 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1993.1062

zbMATH Keywords

0-1 lawexistential second-order sentences

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Related Items

Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview, The 0-1 law fails for monadic existential second-order logic on undirected graphs