scientific article; zbMATH DE number 65748

zbMATH Open0754.03023MaRDI QIDQ4010359FDOQ4010359

Authors: Phokion G. Kolaitis, Moshe Y. Vardi 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

Recommendations

• Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
• scientific article; zbMATH DE number 1759397
• SO(∀∃*) Sentences and Their Asymptotic Probabilities
• 0-1 laws and decision problems for fragments of second-order logic
• Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences

zbMATH Keywords

zero-one lawsfinite structuresRamsey Theoryfragments of second-order logicinfinite random structure

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Model theory of finite structures (03C13)

Cited In (11)

• Witness quantifiers and 0-1 laws
• Title not available (Why is that?)
• Infinitary logics and 0-1 laws
• Zero-one laws for first-order formulas with a bounded quantifier depth
• Stability, the finite cover property and 0-1 laws
• Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
• Strong 0-1 laws in finite model theory
• 0-1 laws and decision problems for fragments of second-order logic
• SO(∀∃*) Sentences and Their Asymptotic Probabilities
• On 0, 1-laws and asymptotics of definable sets in geometric Fraïssé classes
• Finitistic proofs of 0-1 laws 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 Q4010359)