scientific article; zbMATH DE number 1072411

MaRDI QIDQ4359308zbMATH OpenFDO

Authors John T. Baldwin

Publication date 26 November 1997

zbMATH Keywords

0-1 lawsmodel completenessrandom structuressemigeneric structures

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of finite structures (03C13) Random graphs (graph-theoretic aspects) (05C80)

Review text

The author describes a framework in which some 0-1 laws for random structures of various types can be proved in a uniform way. As a major step in his strategy for proving 0-1 laws, the near model completeness of the class of semigeneric structures of a given class of models has to be established. For the entire collection see [Zbl 0872.00029].

Recommendations

• scientific article; zbMATH DE number 887782
• scientific article; zbMATH DE number 65748
• Strong 0-1 laws in finite model theory

Cited in

(6)

• A weak correspondence principle for models with complementarities.
• The metamathematics of random graphs
• Expansions of geometries
• MATHEMATICAL PSEUDO-COMPLETION OF THE BGM MODEL
• Nearly Model Complete Theories
• scientific article; zbMATH DE number 613139 (Why is no real title available?)

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 Q4359308)