Abstract
Assume a complete countable first order theory is superstable with NDOP. We know that any אε-saturated model of the theory is אε-prime over a non-forking tree of "small" models and its isomorphism type can be characterized by its double-struck L sign∞, κ (dimension qualifiers)-theory, or, if you prefer, appropriate cardinal invariants. We go one step further by providing cardinal invariants which are as finitary as seem reasonable.
Original language | English |
---|---|
Pages (from-to) | 61-111 |
Number of pages | 51 |
Journal | Israel Journal of Mathematics |
Volume | 140 |
DOIs | |
State | Published - 2004 |