Isomorphisms of finite cylindric set algebras of characteristic zero



The basic result of cylindric algebraic model theory according to which any pair of isomorphic finite dimensional cylindric set algebras of positive characteristic are base isomorphic (J.D. Monk) is an algebraic generalization of the elementary model theoretical fact to the effect that any two elementary equivalent finite models are isomorphic. In this paper, this algebraic generalization is extended further in a natural way to some algebras of characteristic zero. Moreover, it is shown that no further improvement is possible in any obvious way.