On diagonals in representable cylindric algebras (Q5932477)

A class of algebras has uniqueness of constants if there are no different structures with the same constant-free reduct. Examples are groups, Boolean algebras or relation algebras. However, the uniqueness of constants fails for cylindric algebras in general. The aim of the paper is to characterize diagonal-free cylindric algebras of dimension \(m\) which are reducts of a unique cylindric algebra \(\mathcal B\) of dimension \(m\). Theorems 2 and 3 and a Corollary give necessary and sufficient conditions for the uniqueness of the system of diagonals for suitable algebras which are representable. In Theorem 4 those representable cylindric algebras are characterized for which the uniqueness of the diagonals in a minimal cylindric algebra holds under a weak condition.