On the existence of regular types

Saharon Shelah*, Steven Buechler

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Abstract

The main results in the paper are the following. Theorem A. Suppose that T is superstable and M ⊂ N are distinct models of Teq. Then there is a c ε{lunate} N{minus 45 degree rule}M such that t( c M) is regular. For M ⊂ N two models we say that M ⊂naN if for all a ε{lunate} M and θ(x, a) such that θ(M, a) ≠ θ(N, a), there is a b ∈ θ(M, a) {minus 45 degree rule}acl(a). Theorem BSuppose that T is superstable, M ⊂naN are models of Teq, and p is a regular type non-orthogonal to t( N M). Then there is a c ε{lunate} N such that t( c M) is regular and non-orthogonal to p. Furthermore, there is a formula θ ∈ t( c M) such that a ∈ θ(N) and t( a M)⊥ {combining short solidus overlay} p ⇒ t( a M) is regular. We used these results to obtain 'good' tree decompositions of models in (possibly uncountable) superstable theories with NDOP. See Definition 5.1 for the undefined terms. Theorem C Suppose that T is superstable with NDOP and M {true} Teq. Then every ⊂na- decomposition inside M extends to a ⊂na-decomposition of M. Furthermore, if 〈Nη, aη: η ∈ I〉 is any ⊂na-decomposition of M, then M is minimal over ∪Nη and for all η ∈ I. M is dominated by ∪Nη over Nη. Using some stable group theory we show that when Th(M) is superstable with NDOP and 〈Nη: η ∈ I〉 is a tree decomposition of M, then M is constructible over ∪ nη with respect to a very strong isolation relation (Section 6).

Original languageEnglish
Pages (from-to)277-308
Number of pages32
JournalAnnals of Pure and Applied Logic
Volume45
Issue number3
DOIs
StatePublished - 20 Dec 1989

Fingerprint

Dive into the research topics of 'On the existence of regular types'. Together they form a unique fingerprint.

Cite this