Abstract
This is a description of the contributions of Leon Henkin to the theory of cylindric algebras.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References: Publications of Henkin Concerning Cylindric Algebras
The algebraic structure of mathematical theories. Bull. Soc. Math. Belg. 7, 137–141 (1955)
The representation theorem for cylindric algebras. In: Mathematical Interpretation of Formal Systems, pp. 85–97. North-Holland, Amsterdam (1955)
La structure algébrique des théories mathématiques. In: Collection de Logique Mathématique, Series A, vol. XI. Gauthier-Villars, Paris (1956)
(with A. Tarski) Cylindrical algebras. Summer Inst. Symb. Log. 3, 332–340 (1957)
(with A. Tarski) Cylindrical algebras. Proc. Symp. Pure Math., Am. Math. Soc. 2, 83–113 (1961)
Logical systems containing only a finite number of symbols. Sém. Math. Sup., 21. Univ., Montréal (1967)
Relativization with respect to formulas and its use in proofs of independence. Compos. Math. 20, 88–106 (1968)
Extending Boolean operations. Pac. J. Math. 32, 723–752 (1970)
(with J.D. Monk and A. Tarski) Cylindric Algebras, Part I. North-Holland, Amsterdam (1971)
Internal semantics and algebraic logic. In: Truth, Syntax, and Modality Studies in Logic and the Foundations of Mathematics, vol. 68 pp. 111–127. North-Holland, Amsterdam (1973)
(with J.D. Monk) Cylindric algebras and related structures. Proc. Tarski Symp., Proc. Symp. Pure Math., vol. XXV, Univ. Calif, Berkeley, pp. 105–121 (1974)
(with D. Resek) Relativization of cylindric algebras. Fund. Math. 82, 363–383 (1975)
Algebraic aspects of logic: past, present, future. Colloq. Internat. de Logique (Clermont-Ferrand 1975), pp. 89–106, Colloq. Internat. CNRS (1977)
(with J.D. Monk, A. Tarski, H. Andréka, and I. Németi) Cylindric Set Algebras. Lecture Notes in Mathematics, vol. 883. Springer, Berlin (1981)
Notes for Lectures on the Theory of Cylindric Algebras. Beograd, Kragujevac, Novi Sad (1982)
(with J.D. Monk and A. Tarski) Cylindric Algebras, Part II. North-Holland, Amsterdam (1985)
(with J.D. Monk and A. Tarski) Representable cylindric algebras. Ann. Pure Appl. Log. 31, 23–60 (1986)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Monk, J.D. (2014). Leon Henkin and Cylindric Algebras. In: Manzano, M., Sain, I., Alonso, E. (eds) The Life and Work of Leon Henkin. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-09719-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-09719-0_7
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-09718-3
Online ISBN: 978-3-319-09719-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)