Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

 
 

 

Models of complete theories


Author: R. L. Vaught
Journal: Bull. Amer. Math. Soc. 69 (1963), 299-313
DOI: https://doi.org/10.1090/S0002-9904-1963-10903-9
MathSciNet review: 0147396
Full-text PDF

References | Additional Information

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

  • 1. C. C. Chang and H. J. Keisler, Applications of ultraproducts of pairs of cardinals to the theory of models, Pacific J. Math. 12 (1962), 835-845. MR 146080
  • 2. A. Ehrenfeucht, On theories categorical in power, Fund. Math. 44 (1957) 241-248. MR 96606
  • 3. A. Ehrenfeucht, Theories having at least continuum many nonisomorphic models in each infinite power, Notices Amer. Math. Soc. 5 (1958), 680-681.
  • 4. A. Ehrenfeucht and A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math. 43 (1956), 50-68. MR 84456
  • 5. E. Engeler. Äquivalenzklassen von n-Tuplen, Z. Math. Logik Grundlagen Math. 5 (1959), 340-345. MR 141598
  • 6. E. Engeler, Unendliche Formeln in der Modeltheorie, Z. Math. Logik Grundlagen Math. 7(1961), 154-160. MR 151386
  • 7. E. Engeler, Ein Reduktionstheorem für unendliche Formeln, Math. Ann. (to appear).
  • 8. P. Erdös, L. Gillman, and M. Hendrickson, An isomorphism theorem for real closed fields, Ann. of Math. 61 (1955), 542-547. MR 69161
  • 9. T. Frayne, A. Morel, and D. Scott, Reduced direct products, Fund. Math, (to appear). MR 142459
  • 10. G. Fuhrken, Bemerkung zu einer Arbeit E. Engelers, Z, Math. Logik Grundlagen Math. 8 (1962), 91-93. MR 146074
  • 11. G. Fuhrken, First-order languages with a generalized quantifier. Minimal models of first-order theories, Doctoral dissertation, University of California, Berkeley, Calif., 1962.
  • 12. G. Fuhrken, On minimal models of complete theories, Notices Amer. Math. Soc. 9 (1962), 146. On generalized quantifiers, Ibid. p. 132. A Skolem-type normal form for languages with a generalized quantifier, Ibid., pp. 320-321.
  • 13. G. Fuhrken and R. Vaught, Non-characterizability of the ordering of the natural numbers, Notices Amer. Math. Soc. 9 (1962), 321.
  • 14. L. Henkin, The completeness of the first order functional calculus, J. Symb. Logic 14 (1949), 159-166. MR 33781
  • 15. B. Jónsson, Universal relational systems, Math. Scand. 4 (1956), 193-208. MR 96608
  • 16. B. Jónsson, Homogeneous universal relational systems, Math. Scand. 8 (1960), 137-142. MR 125021
  • 17. H. J. Keisler, Ultraproducts and elementary classes, Indag. Math. 23 (1961), 477-495. MR 140396
  • 18. S. Kochen, Ultraproducts in the theory of models, Ann. of Math. 74 (1961), 221-261. MR 138548
  • 19. J. Łoś, On the categoricity in power of elementary deductive systems and some related problems, Colloq. Math. 3 (1955), 58-62. MR 61561
  • 20. J. Łoś, Quelques remarques, théorèmes, et problèmes sur les classes définissables d'algèbres, Mathematical Interpretation of Formal Systems, pp. 98-113, North Holland Publ. Co., Amsterdam, 1955.
  • 21. R. Lyndon, Properties preserved under algebraic constructions, Bull. Amer. Math. Soc. 65 (1959), 287-299. MR 111687
  • 22. M. Morley, Categoricity in power, Notices Amer. Math. Soc. 9 (1962) 218.
  • 23. M. Morley, Categoricity in power, Doctoral dissertation, University of Chicago, Chicago, Ill., 1962.
  • 24. M. Morley and R. Vaught, Homogeneous universal models, Math. Scand. 11 (1962) (to appear). MR 150032
  • 25. A. Mostowski, Quelques observations sur l'usage des méthodes non finitistes dans la méta-mathématique, Colloq. Internat, du C. N. R. S., 1955, vol. 70, Paris, 1958, pp. 19-32. MR 106162
  • 26. R. Ricabarra, Conjuntos ordenados y ramificados, Bahla Blanca, Instituto de Mathematica, Universidad Nacional del Sur, 1958. MR 117177
  • 27. A. Robinson, A result on consistency and its application to the theory of definition, Indag. Math. 18 (1956), 47-58. MR 78307
  • 28. A. Robinson, Complete theories, North Holland Publ. Co., Amsterdam, 1956. MR 75897
  • 29. C. Ryll-Nardzewski, On theories categorical in power $łeq \aleph \sb{0}$, Bull. Acad. Polon. Sci., Sér. Math. Astr. Phys. 7 (1959), 545-548.
  • 30. L. Svenonius, $\aleph \sb{0}$-categoricity in first order predicate calculus, Theoria 25 (1959), 82-94. MR 138539
  • 31. L. Svenonius, On minimal models of first order systems, Theoria 26 (1960), 44-52. MR 138541
  • 32. A. Tarski, A decision method for elementary algebra and geometry, 2nd ed., Univ. of Calif. Press, Berkeley, Calif., 1951. MR 44472
  • 33. A. Tarski, Some notions and methods on the borderline of algebra and metamathematics, Proc. Internat. Congr. Math. 1950, 1 (1950), 705-720. MR 45068
  • 34. A. Tarski and R. Vaught, Arithmetical extensions of relational systems, Compositio. Math. 13 (1957), 81-102. MR 95121
  • 35. R. Vaught, Applications of the Löwenheim-Skolem theorem to problems of completeness and decidability, Indag. Math. 16 (1954), 467-471. MR 63993
  • 36. R. Vaught, Denumerable models of complete theories, Proc. Sympos. on Foundations of Mathematics: Infinitistic Methods, held in Warsaw, 1959, Pergman Press, Krakow, 1961, pp. 303-321. MR 186552


Additional Information

DOI: https://doi.org/10.1090/S0002-9904-1963-10903-9

American Mathematical Society