How many varieties of cylindric algebras are there

DOI10.1090/tran/7083zbMath1423.03256arXiv1509.03743OpenAlexW3106166437MaRDI QIDQ5367105

Publication date: 12 October 2017

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.03743

Mathematics Subject Classification ID

Lattices of varieties (08B15) Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)

Related Items (4)

Quasi-polyadic algebras and their dual position ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ Cylindric algebras and finite polyadic algebras

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Cylindric-like algebras and algebraic logic
Relation algebras by games
Varieties of relation algebras
Relation algebras
Epimorphisms in cylindric algebras and definability in finite variable logic
Cylindric algebras. Part II
On varieties of cylindric algebras with applications to logic
Pretabular varieties of modal algebras
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
Algebraization of quantifier logics, an introductory overview
Varieties of lattices
Logic in algebraic form. Three languages and theories
Admissibility of logical inference rules
Isomorphisms of finite cylindric set algebras of characteristic zero
Multi-dimensional modal logic
Many-dimensional modal logics: theory and applications
Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?
Varieties of complex algebras
The polyadic generalization of the Boolean axiomatization of fields of sets
Axiomatising Various Classes of Relation and Cylindric Algebras
A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
The lattice of modal logics: an algebraic investigation
The lattice of varieties of representable relation algebras
Step by step – Building representations in algebraic logic
Finite schematizable algebraic logic
On the search for a finitizable algebraization of first order logic
Cylindric modal logic
Some variants of Vaught's conjecture from the perspective of algebraic logic
Comparing Theories: The Dynamics of Changing Vocabulary
On Equational Classes of Algebraic Versions of Logic I.
MORITA EQUIVALENCE

This page was built for publication: How many varieties of cylindric algebras are there