Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

A trichotomy of countable, stable, unsuperstable theories


Authors: Michael C. Laskowski and S. Shelah
Journal: Trans. Amer. Math. Soc. 363 (2011), 1619-1629
MSC (2010): Primary 03C45
DOI: https://doi.org/10.1090/S0002-9947-2010-05196-7
Published electronically: September 23, 2010
MathSciNet review: 2737280
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Every countable, strictly stable theory either has the Dimensional Order Property (DOP), is deep, or admits an `abelian group witness to unsuperstability'. To obtain this and other results, we develop the notion of a `regular ideal' of formulas and study types that are minimal with respect to such an ideal.


References [Enhancements On Off] (What's this?)

  • 1. Z. Chatzidakis, G. Cherlin, S. Shelah, G. Srour, C. Wood, Orthogonality of types in separably closed fields, Classification theory (Chicago, IL, 1985), 72-88, Lecture Notes in Math., 1292, Springer, Berlin, 1987. MR 1033023 (91f:03074)
  • 2. F. Delon, Idéaux et types sur les corps séparablement clos [Ideals and types over separably closed fields] Mém. Soc. Math. France (N.S.) no. 33 (1988). MR 986208 (90m:03067)
  • 3. E. Hrushovski, Kueker's conjecture for stable theories, J. Symbolic Logic 54(1989), no. 1, 207-220. MR 987332 (90b:03046)
  • 4. E. Hrushovski, Almost orthogonal regular types, in Stability in model theory, II (Trento, 1987) Ann. Pure Appl. Logic 45 (1989), no. 2, 139-155. MR 1044121 (91k:03083)
  • 5. E. Hrushovski, Unidimensional theories are superstable, Ann. Pure Appl. Logic 50 (1990), no. 2, 117-138. MR 1081816 (92g:03052)
  • 6. E. Hrushovski and S. Shelah, A dichotomy theorem for regular types, in Stability in model theory, II (Trento, 1987). Ann. Pure Appl. Logic 45 (1989), no. 2, 157-169. MR 1044122 (91g:03068)
  • 7. M.C. Laskowski, Descriptive set theory and uncountable model theory, Logic Colloquium '03, 133-145, Lect. Notes Logic, 24, Assoc. Symbol. Logic, La Jolla, CA, 2006. MR 2207352 (2006j:03066)
  • 8. M.C. Laskowski and S. Shelah, Decompositions of saturated models of stable theories, Fund. Math. 191 (2006), no. 2, 95-124. MR 2231058 (2007j:03047)
  • 9. M.C. Laskowski and S. Shelah, The Karp complexity of stable theories, in preparation.
  • 10. A. Pillay, Geometric Stability Theory, Oxford University Press, 1996. MR 1429864 (98a:03049)
  • 11. B. Poizat, Groupes stables, avec types génériques réguliers (French) [Stable groups with regular generic types] Journal of Symbolic Logic 48 (1983), no. 2, 339-355. MR 704088 (85e:03082)
  • 12. S. Shelah, Classification Theory, (revised edition) North Holland, Amsterdam, 1990. MR 1083551 (91k:03085)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 03C45

Retrieve articles in all journals with MSC (2010): 03C45


Additional Information

Michael C. Laskowski
Affiliation: Department of Mathematics, University of Maryland, College Park, Maryland 20742

S. Shelah
Affiliation: Department of Mathematics, Hebrew University of Jerusalem, 91904 Jerusalem, Israel – and – Department of Mathematics, Rutgers University, Piscataway, New Jersey 08854

DOI: https://doi.org/10.1090/S0002-9947-2010-05196-7
Received by editor(s): September 24, 2008
Received by editor(s) in revised form: September 2, 2009
Published electronically: September 23, 2010
Additional Notes: The first author was partially supported by NSF grants DMS-0600217 and DMS-0901336.
The second author’s research was partially supported by NSF grants DMS 9704477, DMS 0072560, DMS 0100794 and DMS 0600940 and Israel Science Foundation Grant no. 242/03. Publication 871.
Article copyright: © Copyright 2010 American Mathematical Society

American Mathematical Society