A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality
From MaRDI portal
Publication:1317435
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
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