Witness quantifiers and 0-1 laws

MaRDI QIDQ3509165zbMATH OpenFDO

Authors Wojciech Guzicki, Michał Krynicki

Publication date 1 July 2008

zbMATH Keywords

Lindström quantifiermodel-theoretic logicMostowski quantifierprobability quantifiertopological quantifierzero-one law

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80)

Recommendations

• Strong 0-1 laws in finite model theory
• Infinitary logics and 0-1 laws
• SO(∀∃*) Sentences and Their Asymptotic Probabilities
• scientific article; zbMATH DE number 58300
• scientific article; zbMATH DE number 65748

Cited in

(3)

• Strong 0-1 laws in finite model theory
• On probabilistic elimination of generalized quantifiers
• scientific article; zbMATH DE number 2079030 (Why is no real title available?)

This page was built for publication: Witness quantifiers and 0-1 laws

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