A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS-Reference-Cited by-同舟云学术

A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS

Published:2001-05-01 Issue:1-4 Volume:38 Page:1-11
ISSN:0081-6906
Container-title:Studia Scientiarum Mathematicarum Hungarica
language:
Short-container-title:

Author:

Andréka Hajnalka¹

Affiliation:

1. 1 Hungarian Academy of Sciences Alfréd Rényi Institute of Mathematics HU–1364 Budapest

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.

Publisher

Akademiai Kiado Zrt.

Subject

General Mathematics

Link

https://www.akademiai.com/doi/pdf/10.1556/sscmath.38.2001.1-4.1

Reference22 articles.

1. Cylindric-relativised set algebras have strong amalgamation;I. Németi;J. Symbolic Logic,1985

2. An introduction to cylindric set algebras;J. Monk;Logic Journal of IGPL,2000

3. Step by step - building representations in algebraic logic;R. Hirsch;J. Symbolic Logic,1997

4. Boolean algebras with operators. I;B. Jonsson;Amer. J. Math.,1951

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quasi-Polyadic Algebras and Their Dual Position;Notre Dame Journal of Formal Logic;2022-02-01

2. Atoms in infinite dimensional free sequence-set algebras;Algebra universalis;2019-10-03

3. Geometrical representation theorems for cylindric-type algebras;Quaestiones Mathematicae;2019-01-15

4. Cylindric algebras and finite polyadic algebras;Algebra universalis;2018-07-30

5. Representations of polyadic-like equality algebras;Algebra universalis;2015-12-17