Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

A new omitting types theorem


Author: Charles Steinhorn
Journal: Proc. Amer. Math. Soc. 89 (1983), 480-486
MSC: Primary 03C45; Secondary 03C15, 03C50
DOI: https://doi.org/10.1090/S0002-9939-1983-0715871-9
MathSciNet review: 715871
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: An omitting types theorem for countable models of superstable theories containing an infinite set of indiscernibles is proved. Various corollaries and applications are given.


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

  • 1. S. Buechler, Kueker's conjecture for superstable theories, J. Symbolic Logic (to appear). MR 758944 (86a:03033)
  • [1] C. C. Chang and H. J. Keisler, Model theory, North-Holland, Amsterdam, 1973.
  • [2] M. Makkai, A survey of basic stability theory, with particular emphasis on orthogonality and regular types (to appear). MR 788268 (86h:03055)
  • [3] L. Marcus, A minimal prime model with an infinite set of indiscernibles, Israel J. Math. 11 (1972), 180-183. MR 0319699 (47:8241)
  • [4] S. Shelah, Classification theory and the number of nonisomorphic models, North-Holland, Amsterdam, 1978. MR 513226 (81a:03030)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03C45, 03C15, 03C50

Retrieve articles in all journals with MSC: 03C45, 03C15, 03C50


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1983-0715871-9
Article copyright: © Copyright 1983 American Mathematical Society

American Mathematical Society