Asymptotic probabilities of existential second-order Gödel sentences

DOI10.2307/2274691zbMath0736.03012OpenAlexW1976500120MaRDI QIDQ3984420

Wiesław Szwast, Leszek Pacholski

Publication date: 27 June 1992

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

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

zbMATH Keywords

0-1 lawGödel classesGödel prenex formulassecond-order existential sentences

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)

Related Items

The quantifier structure of sentences that characterize nondeterministic time complexity, Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview

Cites Work

• On random models of finite power and monadic logic
• The Gödel class with identity is unsolvable
• A zero-one law for logic with a fixed-point operator
• Unnamed Item
• Unnamed Item
• Unnamed Item