##
Hajnal Andreka

#
A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
(Preliminary draft version.)

Abstract: We give a finite set of equations defining the class G_n
of locally square cylindric-relativized set algebras (of dimension n)
if n is finite. For infinite n, we give an axiomatization of the equational
theory of G_n. Here G_n denotes the class of all cylindric-relativized
set algebras of dimension n with unit a union of Cartesian spaces.

Retrieve dvi, PostScript
or PDF version.