Quasi-polyadic algebras and their dual position

DOI10.1215/00294527-2022-0008zbMath1504.03041OpenAlexW4223495352MaRDI QIDQ2134280

Miklós Ferenczi

Publication date: 6 May 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2022-0008

zbMATH Keywords

representabilityaxiomatizabilitycylindric algebraquasi-polyadic equality algebra

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Unnamed Item
• Cylindric-like algebras and algebraic logic
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Defining relations for full semigroups of finite transformations
• The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
• Notions of density that imply representability in algebraic logic
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Finitary polyadic algebras from cylindric algebras
• Representations of polyadic-like equality algebras
• THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
• Existence of partial transposition means representability in cylindric algebras
• The polyadic generalization of the Boolean axiomatization of fields of sets
• On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
• The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
• Polyadic and cylindric algebras of sentences
• 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
• Various notions of represetability for cylindric and polyadic algebras
• ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS
• How many varieties of cylindric algebras are there
• A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
• On Cylindric Algebras Satisfying Merry-go-round Properties

This page was built for publication: Quasi-polyadic algebras and their dual position