Atoms in infinite dimensional free sequence-set algebras

DOI10.1007/S00012-019-0610-8MaRDI QIDQ2328129zbMATH OpenOpenAlexFDO

Authors Mohamed Khaled, István Németi

Publication date 9 October 2019

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

free algebrasatomszero-dimensional elementscylindric-like algebras

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Abstract: A. Tarski proved that the m-generated free algebra of $mathrm{CA}_{alpha}$, the class of cylindric algebras of dimension $alpha$, contains exactly $2^m$ zero-dimensional atoms, when $mge1$ is a finite cardinal and $alpha$ is an arbitrary ordinal. He conjectured that, when $alpha$ is infinite, there are no more atoms. This conjecture has not been confirmed or denied yet. In this article, we show that Tarski's conjecture is true if $mathrm{CA}_{alpha}$ is replaced by $mathrm{D}_{alpha}$, $mathrm{G}_{alpha}$, but the $m$-generated free $mathrm{Crs}_{alpha}$ algebra is atomless.

Recommendations

• On atomicity of free algebras in certain cylindric-like varieties
• Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski
• The free non-commutative cylindric algebras are not atomic
• The number of one-generated diagonal-free cylindric set algebras of finite dimension greater than two
• scientific article; zbMATH DE number 475232

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 868092 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• An introduction to cylindric set algebras
• Computing with cylindric modal logics and arrow logics, lower bounds
• Cylindric algebras. Part II
• Cylindric-relativised set algebras have strong amalgamation
• Finite algebras of relations are representable on finite sets
• First order logic without equality on relativized semantics
• Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski
• Free algebras in discriminator varieties
• On atomicity of free algebras in certain cylindric-like varieties
• Reducing first-order logic to \(\mathsf{Df}_3\), free algebras
• Taming first-order logic
• The finitely axiomatizable complete theories of non-associative arrow frames
• The free non-commutative cylindric algebras are not atomic

Cited in

(4)

• Atomless \(r\)-maximal sets
• On atomicity of free algebras in certain cylindric-like varieties
• A confirmation of a conjecture of Tarski
• Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski

This page was built for publication: Atoms in infinite dimensional free sequence-set algebras

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