Model companions for $\aleph _{0}$-categorical theories
HTML articles powered by AMS MathViewer
- by D. Saracino PDF
- Proc. Amer. Math. Soc. 39 (1973), 591-598 Request permission
Abstract:
We show that any countable ${\aleph _0}$-categorical theory without finite models has a model companion (which is also ${\aleph _0}$-categorical). We find the model companions for all ${\aleph _0}$-categorical abelian groups, and conclude with some remarks on the ${\aleph _1}$ -categorical case.References
- Jon Barwise and Abraham Robinson, Completing theories by forcing, Ann. Math. Logic 2 (1970), no. 2, 119–142. MR 272613, DOI 10.1016/0003-4843(70)90008-2
- Irving Kaplansky, Infinite abelian groups, University of Michigan Press, Ann Arbor, 1954. MR 0065561
- H. Jerome Keisler, Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers, Studies in Logic and the Foundations of Mathematics, Vol. 62, North-Holland Publishing Co., Amsterdam-London, 1971. MR 0344115
- Per Lindström, On model-completeness, Theoria (Lund) 30 (1964), 183–196. MR 179066, DOI 10.1111/j.1755-2567.1964.tb01088.x
- Abraham Robinson, Introduction to model theory and to the metamathematics of algebra, North-Holland Publishing Co., Amsterdam, 1963. MR 0153570
- Abraham Robinson, Infinite forcing in model theory, Proceedings of the Second Scandinavian Logic Symposium (Oslo, 1970), Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland, Amsterdam, 1971, pp. 317–340. MR 0357106
- Joseph G. Rosenstein, $\aleph _{0}$ categoricity of groups, J. Algebra 25 (1973), 435–467. MR 318268, DOI 10.1016/0021-8693(73)90092-6
- Joseph G. Rosenstein, $\aleph _{0}$-categoricity of linear orderings, Fund. Math. 64 (1969), 1–5. MR 242652, DOI 10.4064/fm-64-1-1-5
- Joseph R. Shoenfield, Mathematical logic, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1967. MR 0225631
- R. L. Vaught, Denumerable models of complete theories, Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959), Pergamon, Oxford; Państwowe Wydawnictwo Naukowe, Warsaw, 1961, pp. 303–321. MR 0186552
Additional Information
- © Copyright 1973 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 39 (1973), 591-598
- MSC: Primary 02H05
- DOI: https://doi.org/10.1090/S0002-9939-1973-0316238-1
- MathSciNet review: 0316238