\(1\)-based theories -- the main gap for \(a\)-models (Q1908810)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(1\)-based theories -- the main gap for \(a\)-models |
scientific article |
Statements
\(1\)-based theories -- the main gap for \(a\)-models (English)
0 references
4 November 1996
0 references
For a 1-based theory \(T\) with NDOP, any \(a\)-\(k_p(T)\)-saturated model is proved to be prime (in the category of \(a\)-\(k_p(T)\)-saturated models) over a non-forking tree of elements, where the tree height is at most \(|T|^+\) (usually called a structure theorem). For a shallow theory of this kind, the number of \(a\)-\(k_p(T)\)-saturated models of \(T\) of cardinality \(\aleph_a\) is less than \({\mathcal J}_{(2^{|T|})^+} (|\omega + \alpha|)\). Otherwise \(T\) has \(2^\lambda\) of \(a\)-\(k_p(T)\)-saturated models of cardinality \(\lambda\), for most \(\lambda\).
0 references
forking
0 references
deep theory
0 references
orthogonality
0 references
prime model
0 references
saturated model
0 references
regular type
0 references
1-based theory
0 references
NDOP
0 references
shallow theory
0 references