Representations of polyadic-like equality algebras

DOI10.1007/S00012-015-0360-1zbMath1402.03098arXiv1104.1286OpenAlexW2963275532MaRDI QIDQ2634710

Miklós Ferenczi

Publication date: 18 February 2016

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

Full work available at URL: https://arxiv.org/abs/1104.1286

zbMATH Keywords

representationalgebraic logiccylindric algebraspolyadic algebras

Mathematics Subject Classification ID

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

Related Items (4)

Quasi-polyadic algebras and their dual position ⋮ On the representability of neatly embeddable CA's by cylindric relativized algebras ⋮ On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results ⋮ Cylindric algebras and finite polyadic algebras

Cites Work

• Unnamed Item
• Unnamed Item
• A representation theorem for polyadic Heyting algebras
• On the representability of neatly embeddable CA's by cylindric relativized algebras
• Cylindric-like algebras and algebraic logic
• Relation algebras by games
• Some results about neat reducts
• Cylindric algebras. Part II
• Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Introduction to Boolean Algebras
• Relativization of cylindric algebras
• On the equational theory of representable polyadic equality algebras
• A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
• A complete first-order logic with infinitary predicates
• Representation theory for polyadic algebras
• Concatenation as basis for a complete system of arithmetic

This page was built for publication: Representations of polyadic-like equality algebras