Strong Splitting in Stable Homogeneous Models

In this paper we study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in [Hy]. 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, see [Hy].

• Type: Journal
• Year: 2000
• Where: APAL
• Authors: Tapani Hyttinen, Saharon Shelah
• Keywords: APAL 2000, Elementary Submodels, Independence Relation, Stable Homogeneous Structure