Stability, the finite cover property and 0-1 laws

DOI10.1093/LOGCOM/10.2.209MaRDI QIDQ4487256zbMATH OpenOpenAlexFDO

Authors John T. Baldwin

Publication date 21 June 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/10.2.209

zbMATH Keywords

finite model theorystability theoryfirst-order logic on graphsedge probabilityRamsey quantifierfirst-order 0-1 lawleast-fixed-point logic

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45) Logic with extra quantifiers and operators (03C80)

Recommendations

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

Cited in

(5)

• On Almost Sure Elimination of Numerical Quantifiers
• Almost everywhere elimination of probability quantifiers
• The metamathematics of random graphs
• scientific article; zbMATH DE number 4181311 (Why is no real title available?)
• Transfering saturation, the finite cover property, and stability

This page was built for publication: Stability, the finite cover property and 0-1 laws

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