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.