No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
Our main result implies that for any choice 1 ≤ m ≤ n ≤ p of integers there exist finitary algebras A1 and A2 that generate the same variety, and such that the initial k-segments of their centralizer clones coincide exactly when k ≤ m, are isomorphic exactly when k ≤ n and are elementarily equivalent exactly when k ≤ p. The proof uses the existence and properties of disciplined topological spaces which we introduce and investigate here.