96 research outputs found
Atoms in infinite dimensional free sequence-set algebras
A. Tarski proved that the m-generated free algebra of ,
the class of cylindric algebras of dimension , contains exactly
zero-dimensional atoms, when is a finite cardinal and is an
arbitrary ordinal. He conjectured that, when 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 is
replaced by , , but the -generated
free algebra is atomless
On Logical Analysis of Relativity Theories
The aim of this paper is to give an introduction to our axiomatic logical
analysis of relativity theories.Comment: 19 pages, 1 figure
Term algebras of elementarily equivalent atom structures
We exhibit two relation algebra atom structures such that they are elementarily equivalent but their term algebras are not. This answers Problem 14.19 in Hirsch and Hodkinsonâs text Relation Algebras by Games. © 2018, Springer Nature Switzerland AG
- âŠ