Atoms in infinite dimensional free sequence-set algebras

DOI10.1007/S00012-019-0610-8zbMATH Open1450.03011arXiv1903.01527OpenAlexW2978411051MaRDI QIDQ2328129FDOQ2328129

Authors: Mohamed Khaled, István Németi 

Publication date: 9 October 2019

Published in: Algebra Universalis (Search for Journal in Brave)

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.

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

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

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)

Cites Work

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

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)