A new omitting types theorem
HTML articles powered by AMS MathViewer
- by Charles Steinhorn PDF
- Proc. Amer. Math. Soc. 89 (1983), 480-486 Request permission
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
- Steven Buechler, Kueker’s conjecture for superstable theories, J. Symbolic Logic 49 (1984), no. 3, 930–934. MR 758944, DOI 10.2307/2274146 C. C. Chang and H. J. Keisler, Model theory, North-Holland, Amsterdam, 1973.
- 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, DOI 10.1007/BF02760649
- Leo Marcus, A minimal prime model with an infinite set of indiscernibles, Israel J. Math. 11 (1972), 180–183. MR 319699, DOI 10.1007/BF02762619
- 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
Additional Information
- © Copyright 1983 American Mathematical Society
- 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