Cylindric algebras and finite polyadic algebras

DOI10.1007/s00012-018-0546-4zbMath1408.03038OpenAlexW2886709716MaRDI QIDQ1991591

Miklós Ferenczi

Publication date: 30 October 2018

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-018-0546-4

zbMATH Keywords

cylindric algebrasquasi-polyadic algebrasabstract transpositionfinitary polyadic algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric-like algebras and algebraic logic
• Varieties of relation algebras
• Cylindric algebras. Part II
• Some sufficient conditions for the representability of relation algebras
• Modal languages and bounded fragments of predicate logic
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• A note on algebras of substitutions
• Finitary polyadic algebras from cylindric algebras
• Representations of polyadic-like equality algebras
• Existence of partial transposition means representability in cylindric algebras
• On nonrepresentable G-polyadic algebras with representable cylindric reducts
• The polyadic generalization of the Boolean axiomatization of fields of sets
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• A note on substitutions in representable cylindric algebras
• Relativization of cylindric algebras
• Relation algebras from cylindric and polyadic algebras
• On the equational theory of representable polyadic equality algebras
• A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
• How many varieties of cylindric algebras are there
• A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
• Cylindric Algebras and Algebras of Substitutions
• A complete first-order logic with infinitary predicates
• Representation theory for polyadic algebras
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: Cylindric algebras and finite polyadic algebras