Karp height of models of stable theories
Abstract
A trichotomy theorem for countable, stable, unsuperstable theories is offered. We develop the notion of a `regular ideal' of formulas and study types that are minimal with respect to such an ideal.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2007
- DOI:
- 10.48550/arXiv.0711.3043
- arXiv:
- arXiv:0711.3043
- Bibcode:
- 2007arXiv0711.3043L
- Keywords:
-
- Mathematics - Logic