A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS

DOI10.1556/SSCMATH.38.2001.1-4.1zbMATH Open0997.03052OpenAlexW2040991762MaRDI QIDQ4780286FDOQ4780286

Authors: Hajnal Andréka 

Publication date: 3 November 2002

Published in: Studia Scientiarum Mathematicarum Hungarica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1556/sscmath.38.2001.1-4.1

Recommendations

• Nonfinite axiomatizability results for cylindric and relation algebras
• On finite axiomatizability of expansions of cylindric algebras
• scientific article
• Canonical Relativized Cylindric Set Algebras
• Axiomatising Various Classes of Relation and Cylindric Algebras
• Canonical Relativized Cylindric Set Algebras and Weak Associativity
• A new representation theory: representing cylindric-like algebras by relativized set algebras
• Cylindric-relativised set algebras have strong amalgamation
• An introduction to cylindric set algebras
• Finite axiomatizability of local set theory

zbMATH Keywords

algebras of relationsalgebraic logiccylindric algebraspolyadic algebrasguarded fragmentmulti-modal logicfragments of first-order logicfinite variable logicsmulti-dimensional modal logicbounded fragmentdecidable fragments of first order logiclocally cubic algebras of relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Other classes of algebras (08C99)

Cited In (9)

• Title not available (Why is that?)
• Geometrical representation theorems for cylindric-type algebras
• Quasi-polyadic algebras and their dual position
• Cylindric algebras and finite polyadic algebras
• Title not available (Why is that?)
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Representations of polyadic-like equality algebras
• Atoms in infinite dimensional free sequence-set algebras
• Existence of partial transposition means representability in cylindric algebras

This page was built for publication: A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4780286)