This article is the first in a series intended to form a large portion of the second volume of the work Cylindric Algebras, of which Part I has appeared ([HMT] in the bibliography). The research and writing were supported in part by NSF grants MPS 75-03583, MCS 77-22913.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andréka, H. and Németi, I., A simple, purely algebraic proof of the completeness of some first order logics, Alg. Univ. 5(1975), 8–15.
Andréka, H. and Németi, I., On problems in cylindric algebra theory, Abstracts Amer. Math. Soc. 1(1980), 588.
Andréka, H. and Németi, I., On cylindric-relativized set algebras, this vol.
Andréka, H. and Németi, I., Finite cylindric algebras generated by a single element, Finite algebra and multivalved logic (Proc. Coll. Czeged), eds. B. Csákány, I. Rosenberg, Colloq. Math. Soc. J. Bolyai vol. 28, North-Holland, to appear.
Chang, C.C. and Keisler, H.J., Model theory (second edition), North-Holland 1978, xii+554 pp.
Daigneault, A., On automorphisms of polyadic algebras, Trans. Amer. Math. Soc. 112(1964), 84–130.
Demaree, D., Studies in algebraic logic, Doctoral Dissertation, Univ. of Calif., Berkeley 1970, 96pp.
Erdös, P., Faber, V. and Larson, J., Sets of natural numbers of positive density and cylindric set algebras of dimension 2, to appear, Alg. Univ.
Hanf, W., The Boolean algebra of logic, Bull. Amer. Math. Soc. 8(1975), 587–589.
Henkin, L. and Monk, J.D., Cylindric set algebras and related structures, Proc. of the Tarski Symposium, Proc. Symp. Pure Math. 25(1974), Amer. Math. Soc., 105–121.
Henkin, L., Monk, J.D., and Tarski, A., Cylindric Algebras, Part I, North-Holland (1971), 508pp.
Henkin, L. and Resek, D., Relativization of cylindric algebras, Fund. Math. 82(1975), 363–383.
Henkin, L. and Tarski, A. Cylindric algebras, Lattice theory, Proc. Symp. pure math. 2(1961), Amer. Math. Soc., 83–113.
Ketonen, J., The structure of countable Boolean algebras, Ann. Math. 108(1978), 41–89.
Koppelberg, S., Homomorphic images of σ-complete Boolean algebras, Proc. Amer. Math. Soc. 51(1975), 171–175.
Laver, R., Saturated ideals and nonregular ultrafilters, to appear.
Magidor, M., On the existence of nonregular ultrafilters and the cardinality of ultrapowers, Trans. Amer. Math. Soc. 249 (1979), 97–111.
Monk, J.D., Singulary cylindric and polyadic equality algebras, Trans. Amer. Math. Soc. 112(1964), 185–205.
Monk, J.D., Model-theoretic methods and results in the theory of cylindric algebras, The Theory of Models, Proc. 1963 Symp., North-Holland, 238–250.
Maddux, R., Relation algebras and neat embeddings of cylindric algebras, Notices Amer. Math. Soc. 24(1977), A–298.
Myers, D., Cylindric algebras of first-order languages, Trans. Amer. Math. Soc. 216(1976), 189–202.
Németi, I., Connections between cylindric algebras and initial algebra semantics of CF languages, Mathematical logic in computer science, eds. B Dömölki, T. Gergely, Colloq. Math. Soc. J. Bolyai, vol. 26 North-Holland (1981), 561–606.
Sobociński, B., Solution to the problem concerning the Boolean bases for cylindric algebras, Notre Dame J. Formal Logic 13(1972), 529–545.
Tarski, A. and Vaught, R.L., Arithmetical extensions of relational systems, Compos. Math. 13(1957), 81–102.
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this chapter
Cite this chapter
Henkin, L., Monk, J.D., Tarski, A. (1981). Cylindric set algebras and related structures. In: Cylindric Set Algebras. Lecture Notes in Mathematics, vol 883. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0095613
Download citation
DOI: https://doi.org/10.1007/BFb0095613
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10881-8
Online ISBN: 978-3-540-38790-9
eBook Packages: Springer Book Archive