Skip to Main Content

Transactions of the American Mathematical Society

Published by the American Mathematical Society since 1900, Transactions of the American Mathematical Society is devoted to longer research articles in all areas of pure and applied mathematics.

ISSN 1088-6850 (online) ISSN 0002-9947 (print)

The 2020 MCQ for Transactions of the American Mathematical Society is 1.48.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Limit ultrapowers
HTML articles powered by AMS MathViewer

by H. Jerome Keisler PDF
Trans. Amer. Math. Soc. 107 (1963), 382-408 Request permission
References
    G. Cantor, Beträge zur Begrundung der transfiniten Mengenlehre, Math. Ann. 46 (1895), 481-512. C. C. Chang, A lemma on ultraproducts and some applications, Notices Amer. Math. Soc. 7 (1960), 635. —, Theory of models of infinite valued logic. I, II, III and IV, Notices Amer. Math. Soc. 8 (1961), 68-69 and 141-142. C. C. Chang and H. J. Keisler, Pairs of cardinals for models of a given theory, Notices Amer. Math. Soc. 8 (1961), 275.
  • C. C. Chang and Anne C. Morel, On closure under direct product, J. Symbolic Logic 23 (1958), 149–154. MR 104606, DOI 10.2307/2964395
  • A. Ehrenfeucht, Application of games to some problems of mathematical logic, Bull. Acad. Polon. Sci. Cl. III. 5 (1957), 35–37, IV (English, with Russian summary). MR 0085198
    • R. Fraïssé, Sur les rapports entre la théorie des relations et la semantique au sens de A. Tarski, Application scientifiques de la logique mathématique, Colloque de logique mathématique, p. 95. Paris, 1954. T. Frayne, A. Morel, and D. Scott, Set-theoretical properties of reduced products, Notices Amer. Math. Soc. 5 (1958), 674.
  • T. Frayne, A. C. Morel, and D. S. Scott, Reduced direct products, Fund. Math. 51 (1962/63), 195–228. MR 142459, DOI 10.4064/fm-51-3-195-228
    • T. Frayne and D. Scott, Model-theoretic properties of reduced products, Notices Amer. Math. Soc. 5 (1958), 675. T. Frayne, D. Scott, and A. Tarski, Reduced products, Notices Amer. Math. Soc. 5 (1958), 673-674.
  • Leon Henkin, The completeness of the first-order functional calculus, J. Symbolic Logic 14 (1949), 159–166. MR 33781, DOI 10.2307/2267044
    • H. J. Keisler, Limit reduced products; A mathematical characterization of elementary equivalence; A characterization of Horn classes, Notices Amer. Math. Soc. 6 (1959), 520-521. —, Isomorphism of ultraproducts; Properties preserved under reduced products; On the class of limit ultrapowers of a relational system; Cardinalities of ultrapowers and a theorem of Rabin, Notices Amer. Math. Soc. 7 (1960), 70-71 and 878-879.
  • H. Jerome Keisler, Some applications of the theory of models to set theory, Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.), Stanford Univ. Press, Stanford, Calif., 1962, pp. 80–86. MR 0190002
    • —, The repleteness of ultraproducts; Isomorphism of ultraproducts. II; Properties preserved under reduced products. II, Notices Amer. Math. Soc. 8 (1961), 63-64.
  • H. Jerome Keisler, Ultraproducts and elementary classes, Nederl. Akad. Wetensch. Proc. Ser. A 64 = Indag. Math. 23 (1961), 477–495. MR 0140396
    • S. Kochen, Filtration systems. I, II, Notices Amer. Math. Soc. 5 (1958), 605 and 671-672. —, Reduced powers and completeness. I, II; An algebraic characterization of arithmetical equivalence; An algebraic characterization of arithmetical classes; An algebraic characterization of arithmetical functions, Notices Amer. Math. Soc. 6 (1959), 141-142, 437, and 523.
  • Simon Kochen, Ultraproducts in the theory of models, Ann. of Math. (2) 74 (1961), 221–261. MR 138548, DOI 10.2307/1970235
  • J. König, Zum Kontinuum-Problem, Math. Ann. 60 (1905), no. 2, 177–180 (German). MR 1511296, DOI 10.1007/BF01677263
  • C. H. Langford, Some theorems on deducibility, Ann. of Math. (2) 28 (1926/27), no. 1-4, 16–40. MR 1502760, DOI 10.2307/1968352
    • J. Łos, Quelques remarques, théorèmes, et problèmes sur les classes définissables d’algèbres, Mathematical Interpretations of Formal Systems, pp. 98-113, North Holland, Amsterdam, 1955. A. Malcev, Untersuchungen aus den Gebiete der Mathematischen Logic, Rec. Math. [Mat. Sb.] (N. S.) 1 (1936), 323-336. A. Morel, D. Scott, and A. Tarski, Reduced products and the compactness theorem, Notices Amer. Math. Soc. 5 (1958), 674-675.
  • Jan Mycielski, A characterisation of arithmetical classes, Bull. Acad. Polon. Sci. Cl. III 5 (1957), 1025–1027, LXXXVI (English, with Russian summary). MR 0093481
  • Michael O. Rabin, Arithmetical extensions with prescribed cardinality, Nederl. Akad. Wetensch. Proc. Ser. A 62 = Indag. Math. 21 (1959), 439–446. MR 0106834
  • Abraham Robinson, A result on consistency and its application to the theory of definition, Nederl. Akad. Wetensch. Proc. Ser. A. 59 = Indag. Math. 18 (1956), 47–58. MR 0078307
  • Abraham Robinson, Recent developments in model theory, Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.), Stanford Univ. Press, Stanford, Calif., 1962, pp. 60–79. MR 0167395
  • Dana Scott, Measurable cardinals and constructible sets, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 9 (1961), 521–524. MR 143710
    • A. Tarski, Queqlues théorèmes sur les alephs, Fund. Math. 7 (1925), 1-14. —, Une contribution à la théorie de la mesure, Fund. Math. 15 (1930), 42-50. —, Grundzüge des Systemkalküls. I, II, Fund. Math. 25 (1935), 503-526; 26 (1936), 283-301. —, Über unerreichbare Kardinalzalen, Fund. Math. 30 (1938), 68-89.
  • Alfred Tarski, Some notions and methods on the borderline of algebra and metamathematics, Proceedings of the International Congress of Mathematicians, Cambridge, Mass., 1950, vol. 1, Amer. Math. Soc., Providence, R.I., 1952, pp. 705–720. MR 0045068
  • Alfred Tarski, Contributions to the theory of models. I, Nederl. Akad. Wetensch. Proc. Ser. A. 57 (1954), 572–581 = Indagationes Math. 16, 572–581 (1954). MR 0066301
  • Alfred Tarski, Some problems and results relevant to the foundations of set theory, Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.), Stanford Univ. Press, Stanford, Calif., 1962, pp. 125–135. MR 0151397
  • Alfred Tarski and Robert L. Vaught, Arithmetical extensions of relational systems, Compositio Math. 13 (1958), 81–102. MR 95121
    • S. Ulam, Zur Masstheorie in der allgemeine Mengenlehre, Fund. Math. 16 (1930), 140-150.
Similar Articles
  • Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.50
  • Retrieve articles in all journals with MSC: 02.50
Additional Information
  • © Copyright 1963 American Mathematical Society
  • Journal: Trans. Amer. Math. Soc. 107 (1963), 382-408
  • MSC: Primary 02.50
  • DOI: https://doi.org/10.1090/S0002-9947-1963-0148547-1
  • MathSciNet review: 0148547