pith. sign in

arxiv: 1903.01527 · v1 · pith:GALCQ7PGnew · submitted 2019-03-04 · 🧮 math.LO

Atoms in infinite dimensional free sequence-set algebras

classification 🧮 math.LO
keywords alphamathrmatomsfreealgebraalgebrasconjectureinfinite
0
0 comments X
read the original 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 $m\ge 1$ 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.