Singulary cylindric and polyadic equality algebras
HTML articles powered by AMS MathViewer
- by Donald Monk PDF
- Trans. Amer. Math. Soc. 112 (1964), 185-205 Request permission
References
- Heinrich Behmann, Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem, Math. Ann. 86 (1922), no. 3-4, 163–229 (German). MR 1512087, DOI 10.1007/BF01457985
- A. Daigneault and D. Monk, Representation theory for polyadic algebras, Fund. Math. 52 (1963), 151–176. MR 151373, DOI 10.4064/fm-52-2-151-176
- Paul R. Halmos, Algebraic logic. I. Monadic Boolean algebras, Compositio Math. 12 (1956), 217–249. MR 78304
- P. R. Halmos, Algebraic logic. II. Homogeneous locally finite polyadic Boolean algebras of infinite degree, Fund. Math. 43 (1956), 255–325. MR 86029
- Paul R. Halmos, Algebraic logic. IV. Equality in polyadic algebras, Trans. Amer. Math. Soc. 86 (1957), 1–27. MR 90564, DOI 10.1090/S0002-9947-1957-0090564-1 —, Algebraic logic, Chelsea, New York, 1962.
- Leon Henkin and Alfred Tarski, Cylindric algebras, Proc. Sympos. Pure Math., Vol. II, American Mathematical Society, Providence, R.I., 1961, pp. 83–113. MR 0124250 D. Hilbert and P. Bernays, Grundlagen der Mathematik, Vol. 1, Springer, Berlin, 1934.
- H. J. Keisler, A complete first-order logic with infinitary predicates, Fund. Math. 52 (1963), 177–203. MR 152419, DOI 10.4064/fm-52-2-177-203
- J. Donald Monk, On the representation theory for cylindric algebras, Pacific J. Math. 11 (1961), 1447–1457. MR 136567, DOI 10.2140/pjm.1961.11.1447
- Donald Monk, Substitutionless predicate logic with identity, Arch. Math. Logik Grundlag. 7 (1965), 102–121 (1965). MR 204267, DOI 10.1007/BF01969435 —, On finite dimensional cylindric algebras, Abstract 595-1, Notices Amer. Math. Soc. 9 (1962), 470.
- Roman Sikorski, Boolean algebras, Ergebnisse der Mathematik und ihrer Grenzgebiete, (N.F.), Heft 25, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1960. MR 0126393
- Alfred Tarski, A simplified formalization of predicate logic with identity, Arch. Math. Logik Grundlag. 7 (1965), 61–79 (1965). MR 202575, DOI 10.1007/BF01972461
Additional Information
- © Copyright 1964 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 112 (1964), 185-205
- MSC: Primary 02.48
- DOI: https://doi.org/10.1090/S0002-9947-1964-0163837-5
- MathSciNet review: 0163837