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/BFB0095612MaRDI QIDQ1170185zbMATH OpenOpenAlexFDO

Authors J. Donald Monk, Leon Henkin, Hajnal Andréka, István Németi, Alfred Tarski

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

cylindric algebracylindric set algebrarelativizationultraproducts

Mathematics Subject Classification ID

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

Cited in

(30)

• Relation algebras: Concept of points and representability
• On varieties of cylindric algebras with applications to logic
• Enlargements of functional algebras for the lambda calculus
• Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
• Algebraization of quantifier logics, an introductory overview
• A finite equational axiomatization of the functional algebras for the lambda calculus
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• On the algebraic models of lambda calculus
• A unifying theorem for algebraic semantics and dynamic logics
• Representable cylindric algebras
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• Representations of polyadic-like equality algebras
• A note on neat reducts
• Reconciling first-order logic to algebra
• Leon Henkin and Cylindric Algebras
• Leon Henkin the reviewer
• scientific article; zbMATH DE number 3821994 (Why is no real title available?)
• scientific article; zbMATH DE number 4093718 (Why is no real title available?)
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs
• Freeing Structural Realism from Model Theory
• Probabilities defined on standard and non-standard cylindric set algebras
• How many varieties of cylindric algebras are there
• Soft constraint automata with memory
• Cylindric structures and dependencies in relational databases
• Applied neat reducts on some classes of algebras
• Lambda abstraction algebras: representation theorems
• When rules define logical operators: rules as second-order definitions
• The relational model of data and cylindric algebras
• Cardinality and cofinality of homomorphs of products of Boolean algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1170185)