A brief history of Tarskian algebraic logic with new perspectives and innovations
From MaRDI portal
Publication:2193424
DOI10.1007/s40574-020-00240-xzbMath1457.03074OpenAlexW3038142877MaRDI QIDQ2193424
Publication date: 25 August 2020
Published in: Bollettino dell'Unione Matematica Italiana (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s40574-020-00240-x
Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bare canonicity of representable cylindric and polyadic algebras
- The class of completely representable polyadic algebras of infinite dimensions is elementary
- Relation algebras by games
- Cylindric algebras. Part II
- 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
- Classification theory and the number of non-isomorphic models.
- Modal languages and bounded fragments of predicate logic
- Atom structures and Sahlqvist equations
- Notions of density that imply representability in algebraic logic
- Atom structures of cylindric algebras and relation algebras
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- On amalgamation of reducts of polyadic algebras
- THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
- Graph Theory and Probability
- Strongly representable atom structures of cylindric algebras
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
- Weakly representable atom structures that are not strongly representable, with an application to first order logic
- A Glimm-Effros Dichotomy for Borel Equivalence Relations
- Non-finite-axiomatizability results in algebraic logic
- Equivalences Generated by Families of Borel Sets
- Nonfinite axiomatizability results for cylindric and relation algebras
- Finite algebras of relations are representable on finite sets
- Rectangular games
- Tarski's System of Geometry
- Complete representations in algebraic logic
- A completeness theorem for higher order logics
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Some variants of Vaught's conjecture from the perspective of algebraic logic
- The free non-commutative cylindric algebras are not atomic
- Various notions of represetability for cylindric and polyadic algebras
- Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them
- How many varieties of cylindric algebras are there
- Omitting types for finite variable fragments and complete representations of algebras
- A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
- Algebraic Logic, Where Does it Stand Today?
- Nonfinitizability of classes of representable cylindric algebras
- On neat reducts of algebras of logic
