A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS

DOI10.1556/SSCMATH.38.2001.1-4.1MaRDI QIDQ4780286zbMATHOpenAlexFDO

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

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)

Recommendations

• Nonfinite axiomatizability results for cylindric and relation algebras
• On finite axiomatizability of expansions of cylindric algebras
• scientific article; zbMATH DE number 5883874
• 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

Cited in

(9)

• scientific article; zbMATH DE number 5883874 (Why is no real title available?)
• Geometrical representation theorems for cylindric-type algebras
• Quasi-polyadic algebras and their dual position
• scientific article; zbMATH DE number 67042 (Why is no real title available?)
• Cylindric algebras and finite polyadic algebras
• Existence of partial transposition means representability in cylindric algebras
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Atoms in infinite dimensional free sequence-set algebras
• Representations of polyadic-like equality 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)