Pages that link to "Item:Q1317435"
From MaRDI portal
The following pages link to A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality (Q1317435):
Displaying 4 items.
- The 0-1 law fails for monadic existential second-order logic on undirected graphs (Q1607080) (← links)
- Asymptotic probabilities of existential second-order Gödel sentences (Q3984420) (← links)
- A Simplified Proof of the 0–1 Law for Existential Second‐Order Ackermann Sentences (Q4351931) (← links)
- Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview (Q4953235) (← links)