Strong splitting in stable homogeneous models

1999/11/28 by Tapani Hyttinen, Saharon Shelah, Hyttinen, Tapani +1
Mathematics · Medicine · #FOS: Mathematics #Logic (math.LO) #Mathematical Biology Tumor Growth #Mathematical and Theoretical Epidemiology and Ecology Models #advanced mathematical theories #math.LO

paper · pdf · doi:10.48550/arxiv.math/9911229

published as Ann. Pure Appl. Logic 103 No. 1-3 (2000) 201--228

arxiv created 1999/11/28 · openalex publication_date 1999/11/28 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
• On the number of elementary submodels of an unsuperstable homogeneous structure
• Simple Homogeneous Models
• Binary simple homogeneous structures
• Main gap for locally saturated elementary submodels of a homogeneous\n structure