Reduced products and Horn classes
HTML articles powered by AMS MathViewer
- by H. Jerome Keisler
- Trans. Amer. Math. Soc. 117 (1965), 307-328
- DOI: https://doi.org/10.1090/S0002-9947-1965-0170812-4
- PDF | Request permission
References
- K. I. Appel, Horn sentences in identity theory, J. Symbolic Logic 24 (1959), 306–310. MR 132691, DOI 10.2307/2963901
- Kurt Bing, On arithmetical classes not closed under direct union, Proc. Amer. Math. Soc. 6 (1955), 836–846. MR 72086, DOI 10.1090/S0002-9939-1955-0072086-0 C. C. Chang, Theory of models for infinite-valued logic. IV, Notices Amer. Math. Soc. 8 (1961), 141.
- C. C. Chang and H. Jerome Keisler, A improved prenex normal form, J. Symbolic Logic 27 (1962), 317–326. MR 197298, DOI 10.2307/2964650
- 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
- S. Feferman and R. L. Vaught, The first order properties of products of algebraic systems, Fund. Math. 47 (1959), 57–103. MR 108455, DOI 10.4064/fm-47-1-57-103
- 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 K. Gödel, The consistency of the continuum hypothesis, Princeton, 1940.
- Edwin Hewitt, Rings of real-valued continuous functions. I, Trans. Amer. Math. Soc. 64 (1948), 45–99. MR 26239, DOI 10.1090/S0002-9947-1948-0026239-9
- Alfred Horn, On sentences which are true of direct unions of algebras, J. Symbolic Logic 16 (1951), 14–21. MR 40233, DOI 10.2307/2268661 H. J. Keisler, A characterization of Horn classes, Notices Amer. Math. Soc. 6 (1959), 521. —, A type of product more general than reduced products, and elementary classes closed under them, Notices Amer. Math. Soc. 7 (1960), 364. —, Conditions for inclusion between certain classes of algebraic operations sending members of one elementary class into members of another, Notices Amer. Math. Soc. 7 (1960), 365. —, Properties preserved under reduced products. I, II, Notices Amer. Math. Soc. 7 (1960), 71; ibid. 8 (1961), 64. —, Replete relational systems, Notices Amer. Math. Soc. 8 (1961), 63.
- H. Jerome Keisler, Theory of models with generalized atomic formulas, J. Symbolic Logic 25 (1960), 1–26. MR 130169, DOI 10.2307/2964333
- H. Jerome Keisler, Ultraproducts and elementary classes, Nederl. Akad. Wetensch. Proc. Ser. A 64 = Indag. Math. 23 (1961), 477–495. MR 0140396, DOI 10.1016/S1385-7258(61)50048-0 G. Kreisel, Some uses of metamathematics, British J. Philos. Sci. 7 (1956), 161-173. J. Łoś, Quelques remarques, théorèmes, et problèmes sur les classes définissables d’algèbres, Mathematical Interpretations of Formal Systems, pp. 98-113, Nort-Holland, Amsterdam, 1955.
- R. C. Lyndon, Existential Horn sentences, Proc. Amer. Math. Soc. 10 (1959), 994–998. MR 115914, DOI 10.1090/S0002-9939-1959-0115914-6
- Roger C. Lyndon, Properties preserved under homomorphism, Pacific J. Math. 9 (1959), 143–154. MR 108441, DOI 10.2140/pjm.1959.9.143
- J. C. C. McKinsey, The decision problem for some classes of sentences without quantifiers, J. Symbolic Logic 8 (1943), 61–76. MR 8991, DOI 10.2307/2268172
- Michael Morley and Robert Vaught, Homogeneous universal models, Math. Scand. 11 (1962), 37–57. MR 150032, DOI 10.7146/math.scand.a-10648
- Arnold Oberschelp, Über die Axiomeprodukt-abgeschlossener arithmetischer Klassen, Arch. Math. Logik Grundlag. 4 (1958), 95–123 (German). MR 107605, DOI 10.1007/BF01973146
- A. D. Taĭmanov, A class of models closed under direct products, Izv. Akad. Nauk SSSR Ser. Mat. 24 (1960), 493–510 (Russian). MR 0115915
- 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, DOI 10.1016/S1385-7258(54)50074-0
- Alfred Tarski and Robert L. Vaught, Arithmetical extensions of relational systems, Compositio Math. 13 (1958), 81–102. MR 95121
- R. L. Vaught, Models of complete theories, Bull. Amer. Math. Soc. 69 (1963), 299–313. MR 147396, DOI 10.1090/S0002-9904-1963-10903-9 J. Weinstein, Sentences preserved under direct products, Abstract, Notices Amer. Math. Soc. (to appear).
Bibliographic Information
- © Copyright 1965 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 117 (1965), 307-328
- MSC: Primary 02.50
- DOI: https://doi.org/10.1090/S0002-9947-1965-0170812-4
- MathSciNet review: 0170812