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.

Review text

This paper deals with a finite relational language \(L\) and it is built on several former papers of the authors and others. Basic definitions, properties and axioms are formulated in the first section. The second section is concerned with independence and orthogonality. The following result is proved: Let \(K_0\) be a class of finite structures closed under substructure and isomorphisms, containing the empty structure, and fulfilling several conditions, especially having the amalgamation property. Let \(T\) be the theory of the generic model for \((K_0,\leq_s)\). Suppose further that there is a pair of independent points and a nonalgebraic type such that some conditions related to the dimension are filfilled. Then: The theory \(T\) has the dimensional order property, moreover \(T\) has the eventually non-isolated dimensional order property (ENI-DOP) if the given type is not isolated. \(T\) has the dimensional discontinuity property. In Section 3 the authors construct a nonalgebraic type over a two-element set with \(d(p)= 0\). In the last part, the authors show that for several classes with the so-called full amalgamation property, the theory of the generic 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)