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
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. Steven Buechler, Kueker’s conjecture for superstable theories, J. Symbolic Logic 49 (1984), no. 3, 930–934. MR 758944, 10.2307/2274146
  • [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, Israel J. Math. 49 (1984), no. 1-3, 181–238. MR 788268, 10.1007/BF02760649
  • [3] Leo Marcus, A minimal prime model with an infinite set of indiscernibles, Israel J. Math. 11 (1972), 180–183. MR 0319699
  • [4] Saharon Shelah, Classification theory and the number of nonisomorphic models, Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam-New York, 1978. MR 513226

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

Article copyright: © Copyright 1983 American Mathematical Society