117 research outputs found

    Atoms in infinite dimensional free sequence-set algebras

    Get PDF
    A. Tarski proved that the m-generated free algebra of CAα\mathrm{CA}_{\alpha}, the class of cylindric algebras of dimension α\alpha, contains exactly 2m2^m zero-dimensional atoms, when m≥1m\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 CAα\mathrm{CA}_{\alpha} is replaced by Dα\mathrm{D}_{\alpha}, Gα\mathrm{G}_{\alpha}, but the mm-generated free Crsα\mathrm{Crs}_{\alpha} algebra is atomless
    • …
    corecore