The geometry of weakly minimal types
- 1 December 1985
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 50 (4) , 1044-1053
- https://doi.org/10.2307/2273989
Abstract
Let T be superstable. We say a type p is weakly minimal if R(p, L, ∞) = 1. Let M ⊨ T be uncountable and saturated, H = p(M). We say D ⊂ H is locally modular if for all X, Y ⊂ D with X = acl(X) ∩ D, Y = acl(Y) ∩ D and X ∩ Y ≠ ∅, Theorem 1. Let p ∈ S(A) be weakly minimal and D the realizations of stp(a/A) for some a realizing p. Then D is locally modular or p has Morley rank 1.Theorem 2. Let H, G be definable over some finite A, weakly minimal, locally modular and nonorthogonal. Then for all a ∈ H∖acl(A), b ∈ G∖acl(A) there area′ ∈ H, b′ ∈ G such that a′ ∈ acl(abb′A)∖acl(aA). Similarly when H and G are the realizations of complete types or strong types over A.Keywords
This publication has 3 references indexed in Scilit:
- A survey of basic stability theory, with particular emphasis on orthogonality and regular typesIsrael Journal of Mathematics, 1984
- Strongly minimal countably categorical theoriesSiberian Mathematical Journal, 1981
- Ranks and definability in superstable theoriesIsrael Journal of Mathematics, 1976