Cylindric algebras of first-order languages
HTML articles powered by AMS MathViewer
- by Dale Myers
- Trans. Amer. Math. Soc. 216 (1976), 189-202
- DOI: https://doi.org/10.1090/S0002-9947-1976-0398823-1
- PDF | Request permission
Abstract:
We show when two countable first-order languages have isomorphic cylindric algebras.References
- Karel de Bouvère, Synonymous theories, Theory of Models (Proc. 1963 Internat. Sympos. Berkeley), North-Holland, Amsterdam, 1965.
- Stephen D. Comer, A sheaf-theoretic duality theory for cylindric algebras, Trans. Amer. Math. Soc. 169 (1972), 75–87. MR 307908, DOI 10.1090/S0002-9947-1972-0307908-3
- William Hanf, Primitive Boolean algebras, Proceedings of the Tarski Symposium (Proc. Sympos. Pure Math., Vol. XXV, Univ. California, Berkeley, Calif., 1971) Amer. Math. Soc., Providence, R.I., 1974, pp. 75–90. MR 0379182
- Leon Henkin, J. Donald Monk, and Alfred Tarski, Cylindric algebras. Part I. With an introductory chapter: General theory of algebras, Studies in Logic and the Foundations of Mathematics, Vol. 64, North-Holland Publishing Co., Amsterdam-London, 1971. MR 0314620
- Simon Kochen, Ultraproducts in the theory of models, Ann. of Math. (2) 74 (1961), 221–261. MR 138548, DOI 10.2307/1970235 Richard Montague, Contributions to the axiomatic foundations of set theory, Ph. D. Thesis, Univ. of California, Berkeley, Calif., 1957.
- Dale Myers, The back-and-forth isomorphism construction, Pacific J. Math. 55 (1974), 521–529. MR 369053, DOI 10.2140/pjm.1974.55.521
- Abraham Robinson, Introduction to model theory and to the metamathematics of algebra, North-Holland Publishing Co., Amsterdam, 1963. MR 0153570
- Saharon Shelah, Every two elementarily equivalent models have isomorphic ultrapowers, Israel J. Math. 10 (1971), 224–233. MR 297554, DOI 10.1007/BF02771574 Roger Simons, The Boolean algebra of sentences of the theory of a function, Ph. D. Thesis, Univ. of California, Berkeley, Calif. 1972.
Bibliographic Information
- © Copyright 1976 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 216 (1976), 189-202
- MSC: Primary 02J15
- DOI: https://doi.org/10.1090/S0002-9947-1976-0398823-1
- MathSciNet review: 0398823