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

DOI10.2307/2275743MaRDI QIDQ4338327zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1759397
• 0-1 laws and decision problems for fragments of second-order logic
• SO(∀∃*) Sentences and Their Asymptotic Probabilities
• scientific article; zbMATH DE number 65748

Cited in

(9)

• scientific article; zbMATH DE number 1759397 (Why is no real title available?)
• Testable and untestable classes of first-order formulae
• Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
• 0-1 laws and decision problems for fragments of second-order logic
• Strong 0-1 laws in finite model theory
• SO(∀∃*) Sentences and Their Asymptotic Probabilities
• A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality
• scientific article; zbMATH DE number 627409 (Why is no real title available?)
• scientific article; zbMATH DE number 65748 (Why is no real title available?)

This page was built for publication: Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4338327)