Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti

DOI10.1007/BFb0095612zbMath0497.03025OpenAlexW1528931898MaRDI QIDQ1170185

J. Donald Monk, Hajnalka Andréka, Istvan Németi, Alfred Tarski, Leon Henkin

Publication date: 1981

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0095612

zbMATH Keywords

relativization ultraproducts cylindric algebra cylindric set algebra

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cylindric and polyadic algebras; relation algebras (03G15) Set-theoretic model theory (03C55)

Related Items (29)

Unnamed Item ⋮ Leon Henkin and Cylindric Algebras ⋮ Leon Henkin the Reviewer ⋮ Representations of polyadic-like equality algebras ⋮ On varieties of cylindric algebras with applications to logic ⋮ A note on neat reducts ⋮ Elementary generation and canonicity for varieties of Boolean algebras with operators ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Enlargements of functional algebras for the lambda calculus ⋮ Applied neat reducts on some classes of algebras ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ How many varieties of cylindric algebras are there ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Every free algebra in the variety generated by the representable dynamic algebras is separable and representable ⋮ Reconciling First-Order Logic to Algebra ⋮ Lambda abstraction algebras: representation theorems ⋮ Unnamed Item ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Probabilities defined on standard and non-standard cylindric set algebras ⋮ Cylindric structures and dependencies in relational databases ⋮ Soft constraint automata with memory ⋮ A unifying theorem for algebraic semantics and dynamic logics ⋮ Representable cylindric algebras ⋮ The relational model of data and cylindric algebras ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ On the algebraic models of lambda calculus ⋮ Cardinality and cofinality of homomorphs of products of Boolean algebras ⋮ Freeing Structural Realism from Model Theory ⋮ Relation algebras: Concept of points and representability

This page was built for publication: Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti