Categoricity in power
HTML articles powered by AMS MathViewer
- by Michael Morley PDF
- Trans. Amer. Math. Soc. 114 (1965), 514-538 Request permission
References
- A. Ehrenfeucht, On theories categorical in power, Fund. Math. 44 (1957), 241–248. MR 96606, DOI 10.4064/fm-44-2-241-248 —, Theories having at least continuum many non-isomorphic models in each power, Abstract 550-23, Notices Amer, Math. Soc. 5 (1958), 680-681.
- A. Ehrenfeucht and A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math. 43 (1956), 50–68. MR 84456, DOI 10.4064/fm-43-1-50-68 D. Hilbert and P. Bernays, Grundlagen der Mathematik, Vol. 2, Julius Springer, Berlin, 1939.
- B. Jónsson, Homogeneous universal relational systems, Math. Scand. 8 (1960), 137–142. MR 125021, DOI 10.7146/math.scand.a-10601
- Bjarni Jónsson, Algebraic extensions of relational systems, Math. Scand. 11 (1962), 179–205. MR 154833, DOI 10.7146/math.scand.a-10665
- E. Kamke, Theory of Sets. Translated by Frederick Bagemihl, Dover Publications, Inc., New York, N.Y., 1950. MR 0032709
- H. Jerome Keisler, Ultraproducts and elementary classes, Nederl. Akad. Wetensch. Proc. Ser. A 64 = Indag. Math. 23 (1961), 477–495. MR 0140396
- J. Łoś, On the categoricity in power of elementary deductive systems and some related problems, Colloq. Math. 3 (1954), 58–62. MR 61561, DOI 10.4064/cm-3-1-58-62
- Michael Morley and Robert Vaught, Homogeneous universal models, Math. Scand. 11 (1962), 37–57. MR 150032, DOI 10.7146/math.scand.a-10648 A Mostowski and A. Tarski, Boolesche Ringe mit geordneter Basis, Fund. Math. 32 (1939), 69-86. F. P. Ramsey, On a problem of formal logic, Proc. London Math. Soc. (2) 30 (1929), 291-310. C. Ryll-Nardzewski, On theories categorical in power $\leqq {\aleph _0}$, Bull. Acad. Polon. Sci. Cl. III 7 (1959), 545-548.
- M. H. Stone, Applications of the theory of Boolean rings to general topology, Trans. Amer. Math. Soc. 41 (1937), no. 3, 375–481. MR 1501905, DOI 10.1090/S0002-9947-1937-1501905-7
- Alfred Tarski and Robert L. Vaught, Arithmetical extensions of relational systems, Compositio Math. 13 (1958), 81–102. MR 95121
- Robert L. Vaught, Applications to the Löwenheim-Skolem-Tarski theorem to problems of completeness and decidability, Nederl. Akad. Wetensch. Proc. Ser. A. 57 = Indagationes Math. 16 (1954), 467–472. MR 0063993 —, Homogeneous universal models of complete theories, Abstract 550-29, Notices Amer. Math. Soc. 5 (1958), 775.
- 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 1965 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 114 (1965), 514-538
- MSC: Primary 02.52
- DOI: https://doi.org/10.1090/S0002-9947-1965-0175782-0
- MathSciNet review: 0175782