A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS

DOI10.1556/SSCMATH.38.2001.1-4.1MaRDI QIDQ4780286zbMATH OpenOpenAlexFDO

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

algebraic logicalgebras of relationsbounded fragmentcylindric algebrasdecidable fragments of first order logicfinite variable logicsfragments of first-order logicguarded fragmentlocally cubic algebras of relationsmulti-dimensional modal logicmulti-modal logicpolyadic algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Other algebras related to logic (03G25) 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)

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