A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
Hajnalka Andréka · Studia Scientiarum Mathematicarum Hungarica · 2001
We give a finite set of equations axiomatizing the class Gn of locally square cylindricrelativized set algebras of dimension n, if n is finite. For infinite n, we give an axiomatization of the equational theory of Gn. HereGn denotes the class of all cylindric-relativized set algebras of dimension n with unit a union of Cartesian spaces.