How many varieties of cylindric algebras are there

DOI10.1090/TRAN/7083zbMATH Open1423.03256arXiv1509.03743OpenAlexW3106166437MaRDI QIDQ5367105FDOQ5367105

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)

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.

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Distances between formal theories
• Quasi-polyadic algebras and their dual position
• Cylindric algebras and finite polyadic algebras
• Title not available (Why is that?)
• 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)