A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS

Author: Andréka Hajnalka  

Publisher: Akademiai Kiado

ISSN: 0081-6906

Source: Studia Scientiarum Mathematicarum Hungarica, Vol.38, Iss.1-4, 2001-12, pp. : 1-11

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

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.