How many varieties of cylindric algebras are there

DOI10.1090/TRAN/7083MaRDI QIDQ5367105zbMATH OpenOpenAlexFDO

Authors István Németi, Hajnal Andréka

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

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

Abstract: Cylindric algebras, or concept algebras in another name, form an interface between algebra, geometry and logic; they were invented by Alfred Tarski around 1947. We prove that there are 2 to the alpha many varieties of geometric (i.e., representable) alpha-dimensional cylindric algebras, this means that 2 to the alpha properties of definable relations of (possibly infinitary) models of first-order logic theories can be expressed by formula schemes using alpha variables, where alpha is infinite. This solves Problem 4.2 in the 1985 Henkin-Monk-Tarski monograph. For solving this problem, we had to devise a new kind of construction, which we then use to solve Problem 2.13 of the 1971 Henkin-Monk-Tarski monograph which concerns the structural description of geometric cylindric algebras. There are fewer varieties generated by locally finite dimensional cylindric algebras, and we get a characterization of these among all the 2 to the alpha varieties. As a by-product, we get a simple, natural recursive enumeration of all the equations true of geometric cylindric algebras, and this can serve as a solution to Problem 4.1 of the 1985 Henkin-Monk-Tarski monograph. All this has logical content and implications concerning ordinary first order logic with a countable number of variables.

Recommendations

• Varieties of two-dimensional cylindric algebras
• On the number of generators of cylindric algebras
• Varieties of two-dimensional cylindric algebras. II
• Cylindric algebras with terms
• The number of one-generated cylindric set algebras of dimension greater than two
• Cylindric algebras and finite polyadic algebras
• scientific article; zbMATH DE number 3861152
• scientific article; zbMATH DE number 5590138
• A note on cylindric algebras
• scientific article; zbMATH DE number 67037

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 49239 (Why is no real title available?)
• scientific article; zbMATH DE number 67043 (Why is no real title available?)
• scientific article; zbMATH DE number 67048 (Why is no real title available?)
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• Admissibility of logical inference rules
• Algebraization of quantifier logics, an introductory overview
• Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?
• Axiomatising Various Classes of Relation and Cylindric Algebras
• Comparing theories: the dynamics of changing vocabulary
• Cylindric algebras. Part II
• Cylindric modal logic
• 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
• Cylindric-like algebras and algebraic logic
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Finite schematizable algebraic logic
• Isomorphisms of finite cylindric set algebras of characteristic zero
• Logic in algebraic form. Three languages and theories
• Many-dimensional modal logics: theory and applications
• Morita equivalence
• Multi-dimensional modal logic
• On Equational Classes of Algebraic Versions of Logic I.
• On the search for a finitizable algebraization of first order logic
• On varieties of cylindric algebras with applications to logic
• Pretabular varieties of modal algebras
• Relation algebras
• Relation algebras by games
• Some variants of Vaught's conjecture from the perspective of algebraic logic
• Step by step – Building representations in algebraic logic
• The lattice of modal logics: an algebraic investigation
• The lattice of varieties of representable relation algebras
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Varieties of complex algebras
• Varieties of lattices
• Varieties of relation algebras
• Varieties of two-dimensional cylindric algebras

Cited in

(5)

• Distances between formal theories
• Quasi-polyadic algebras and their dual position
• Cylindric algebras and finite polyadic algebras
• scientific article; zbMATH DE number 3861152 (Why is no real title available?)
• A brief history of Tarskian algebraic logic with new perspectives and innovations

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

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