The metamathematics of random graphs

DOI10.1016/J.APAL.2006.01.006MaRDI QIDQ2433743zbMATH OpenOpenAlexFDO

Authors John T. Baldwin

Publication date 30 October 2006

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2006.01.006

zbMATH Keywords

0-1 lawdetermined theoriesfinite and infinite model theorylimit laws on finite probability spacesprobability and logicUrysohn space

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45) Abstract model theory (03C95) Random graphs (graph-theoretic aspects) (05C80)

Recommendations

• scientific article; zbMATH DE number 1136104
• Convergence in homogeneous random graphs
• Stability, the finite cover property and 0-1 laws
• A model theory approach to structural limits.
• The almost sure theory of finite metric spaces

Cites work

• A remark on the stability of saturated generic graphs
• A simpler axiomatization of the Shelah-Spencer almost sure theories
• Almost Everywhere Equivalence of Logics in Finite Model Theory
• Categoricity
• Constructing -stable structures: Model completeness.
• Determined theories and limit laws
• DOP and FCP in generic structures
• Expansions of geometries
• scientific article; zbMATH DE number 4041886 (Why is no real title available?)
• scientific article; zbMATH DE number 1072411 (Why is no real title available?)
• scientific article; zbMATH DE number 1827965 (Why is no real title available?)
• Infinitary logics and 0-1 laws
• Model companions of \(T_{\Aut}\) for stable \(T\)
• Paires de structures stables
• Probabilities on finite models
• Ramsey quantifiers and the finite cover property
• Random metric spaces and universality
• Randomness and semigenericity
• Stability, the finite cover property and 0-1 laws
• Transfering saturation, the finite cover property, and stability
• Ultraproducts which are not saturated
• Zero-One Laws for Sparse Random Graphs

Cited in

(2)

• An approximate logic for measures
• Simple structures axiomatized by almost sure theories

This page was built for publication: The metamathematics of random graphs

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