Stability, the finite cover property and 0-1 laws

DOI10.1093/LOGCOM/10.2.209zbMATH Open0952.03030OpenAlexW2076087059MaRDI QIDQ4487256FDOQ4487256

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

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

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)

Cited In (5)

• On Almost Sure Elimination of Numerical Quantifiers
• Almost everywhere elimination of probability quantifiers
• The metamathematics of random graphs
• Title not available (Why is that?)
• 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)