Learn More
This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem. Let C be a large homogeneous model of a stable diagram D. Let p, q ∈ SD(A), where p is quasiminimal and q unbounded. Let P = p(C) and Q = q(C). Suppose that there exists an integer n < ω such that dim(a1. .. an/A ∪ C)(More)
In this paper we study a specific subclass of abstract elementary classes. We construct a notion of independence for these AEC's and show that under simplicity the notion has all the usual properties of first order non-forking over complete types. Our approach generalizes the context of ℵ0-stable homogeneous classes and excellent classes. Our set of(More)
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]. 1. Basic(More)
We continue to study nitary abstract elementary classes, dened in [7]. We introduce a concept of weak κ-categoricity and an f-primary model in a ℵ 0-stable simple nitary AEC with the extension property, and gain the following theorem: Let (K, K) be a simple nitary AEC, weakly categorical in some uncountable κ. Then (K, K) is weakly categorical in each λ ≥(More)