scientific article; zbMATH DE number 1759397

MaRDI QIDQ4536345zbMATH OpenFDO

Authors Phokion G. Kolaitis, Moshe Y. Vardi

Publication date 4 November 2002

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Recommendations

• 0-1 laws and decision problems for fragments of second-order logic
• Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences
• 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 65748
• scientific article; zbMATH DE number 58300

Cited in

(12)

• A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality
• Finitistic proofs of 0-1 laws for fragments of second-order logic
• Logical laws for existential monadic second-order sentences with infinite first-order parts
• A topological zero-one law and elementary equivalence of finitely generated groups
• Existential second-order logic and modal logic with quantified accessibility relations
• Existential Fixed-Point Logic as a Fragment of Second-Order Logic
• scientific article; zbMATH DE number 65748 (Why is no real title available?)
• Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences
• Testable and untestable classes of first-order formulae
• Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
• scientific article; zbMATH DE number 7438576 (Why is no real title available?)
• 0-1 laws and decision problems for fragments of second-order logic

This page was built for publication:

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