DOP and FCP in generic structures

DOI10.2307/2586841MaRDI QIDQ4212913zbMATH OpenOpenAlexFDO

Authors John T. Baldwin, S. Shelah

Publication date 21 June 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9607228, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.234.3641

zbMATH Keywords

amalgamation propertyclass of theoriesdimension functiondimensional discontinuity property (DIDIP)dimensional order property (DOP)finite cover property (FCP)independenceintrinsic closureorthogonality

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Models of other mathematical theories (03C65) Relational systems, laws of composition (08A02)

Abstract: Spencer and Shelah [ShSp:304] constructed for each irrational alpha between 0 and 1 the theory T^alpha as the almost sure theory of random graphs with edge probability n^{- alpha}. In [BlSh:528] we proved that this was the same theory as the theory T_alpha built by constructing a generic model in Baldwin and Shi. In this paper we explore some of the more subtle model theoretic properties of this theory. We show that T^alpha has the dimensional order property and does not have the finite cover property.

Recommendations

• On generic structures with a strong amalgamation property
• Stable generic structures
• Dimensional order property and pairs of models
• Some remarks on generic structures

Cites work

• scientific article; zbMATH DE number 40985 (Why is no real title available?)
• Stable generic structures

Cited in

(12)

• Reduction property and dimensional order property
• Simple generic structures
• CM-triviality and relational structures
• Amalgamation properties and finite models in \(L^n\)-theories
• The theories of Baldwin-Shi hypergraphs and their atomic models
• The metamathematics of random graphs
• A simpler axiomatization of the Shelah-Spencer almost sure theories
• On rational limits of Shelah-Spencer graphs
• On the finite closure property for fusions of generic classes
• Deux remarques à propos de la propriété de recouvrement fini
• Smooth classes without AC and Robinson theories
• Countable models of the theories of Baldwin-Shi hypergraphs and their regular types

This page was built for publication: DOP and FCP in generic structures

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