Abstract
We continue here our treatment of Morley’s Theorem and related ideas. All throughout this section, T is a complete theory with no finite models in a countable language L, and ωdenotes a big saturated model of T. In the last chapter we defined Morley rank and Morley degree as a complexity measure for definable sets. In particular we studied the simplest infinite definable sets with respect to this measure, i. e. the strongly minimal sets, those having Morley rank 1 and Morley degree 1; we considered also strongly minimal theories, i. e. the complete theories whose universe is strongly minimal. More generally, one can examine the theories in which every non empty definable set gets a(n ordinal) Morley rank. These were called by Morley totally transcendental.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media New York
About this chapter
Cite this chapter
Marcja, A., Toffalori, C. (2003). ω -stability. In: A Guide to Classical and Modern Model Theory. Trends in Logic, vol 19. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0812-9_6
Download citation
DOI: https://doi.org/10.1007/978-94-007-0812-9_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-1331-7
Online ISBN: 978-94-007-0812-9
eBook Packages: Springer Book Archive