Strong splitting in stable homogeneous models

DOI10.1016/S0168-0072(99)00044-5MaRDI QIDQ1977489zbMATH OpenWikidataFDO

Authors Tapani Hyttinen, S. Shelah

Publication date 28 May 2001

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

Full work available at URL https://arxiv.org/abs/math/9911229

zbMATH Keywords

classificationmodel classesstability

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52)

Abstract: We study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in [T. Hyttinen, On nonstructure of elementary submodels of a stable homogeneous structure, Fundamenta Mathematicae, 156(1998): 167-182]. We apply this to prove a structure theorem. We also show that dop and sdop are essentially equivalent, where the negation of dop is the property we use in our structure theorem and sdop implies nonstructure.

Review text

The authors develop the independence notion derived from strong splitting by \textit{T. Hyttinen} [``On nonstructure of elementary submodels of a stable homogeneous structure, Fundam.\ Math.\ 156, 167-182 (1998; Zbl 0918.03021)], proving the basic properties of forking independence from the first-order context in the set-up of a stable homogeneous structure (sometimes over \(a\)-models rather than arbitrary sets). Under the NDOP hypothesis they prove a structure theorem: \(s\)-saturated models are \(s\)-primary over maximal \(s\)-free trees.

Recommendations

• Simple homogeneous models
• The Stable Forking Conjecture in Homogeneous Model Theory
• scientific article; zbMATH DE number 1192201
• Decompositions of saturated models of stable theories

Cites work

• Classification theory and the number of non-isomorphic models.
• Finite diagrams stable in power
• scientific article; zbMATH DE number 1192201 (Why is no real title available?)

Cited in

(26)

• Categoricity in homogeneous complete metric spaces
• Ranks and pregeometries in finite diagrams
• Induced and higher-dimensional stable independence
• Simplicity and uncountable categoricity in excellent classes
• Independence in finitary abstract elementary classes
• Main gap for locally saturated elementary submodels of a homogeneous structure
• The splitting property of stable models
• Potential isomorphism of elementary substructures of a strictly stable homogeneous model
• Exponentially closed fields and the conjecture on intersections with tori
• On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure
• Stability and General Logics
• Generalizing Morley's Theorem
• INTERPRETING GROUPS INSIDE MODULAR STRONGLY MINIMAL HOMOGENEOUS MODELS
• scientific article; zbMATH DE number 2042402 (Why is no real title available?)
• A rank for the class of elementary submodels of a superstable homogeneous model
• Toward a stability theory of tame abstract elementary classes
• Measuring dependence in metric abstract elementary classes with perturbations
• Categoricity and U-rank in excellent classes
• Notes on Quasiminimality and Excellence
• Simple homogeneous models
• The Stable Forking Conjecture in Homogeneous Model Theory
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
• Categoricity and universal classes
• Independence in model theory
• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES

This page was built for publication: Strong splitting in stable homogeneous models

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