Reduced products, Horn sentences, and decision problems
HTML articles powered by AMS MathViewer
- by Fred Galvin PDF
- Bull. Amer. Math. Soc. 73 (1967), 59-64
References
- 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
- Ju. L. Eršov, Decidability of the elementary theory of relatively complemented lattices and of the theory of filters, Algebra i Logika Sem. 3 (1964), no. 3, 17–38 (Russian). MR 0180490
- 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
- Paul R. Halmos, Lectures on Boolean algebras, Van Nostrand Mathematical Studies, No. 1, D. Van Nostrand Co., Inc., Princeton, N.J., 1963. MR 0167440 6. H. Jerome Keisler, Properties preserved under reduced products. II, Amer. Math. Soc. Notices 8 (1961), 64.
- 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
- H. Jerome Keisler, Reduced products and Horn classes, Trans. Amer. Math. Soc. 117 (1965), 307–328. MR 170812, DOI 10.1090/S0002-9947-1965-0170812-4
- H. Jerome Keisler, Some applications of infinitely long formulas, J. Symbolic Logic 30 (1965), 339–349. MR 199106, DOI 10.2307/2269622
- Shin’ichi Kinoshita, A solution of a problem of R. Sikorski, Fund. Math. 40 (1953), 39–41. MR 60809, DOI 10.4064/fm-40-1-39-41 11. G. Kreisel, Some uses of metamathematics, British J. Philos. Sci. 7 (1956), 161-173. 12. Alfred Tarski, Arithmetical classes and types of Boolean algebras, Preliminary report, Bull. Amer. Math. Soc. 55 (1949), 64. 13. Joseph M. Weinstein, First order properties preserved by direct product, Ph.D. Thesis, University of Wisconsin, Madison, Wis., 1965.
Additional Information
- Journal: Bull. Amer. Math. Soc. 73 (1967), 59-64
- DOI: https://doi.org/10.1090/S0002-9904-1967-11640-9
- MathSciNet review: 0209135