On the representability of neatly embeddable CA's by cylindric relativized algebras

DOI10.1007/s00012-010-0081-4zbMath1236.03045OpenAlexW2094515416MaRDI QIDQ607464

Miklós Ferenczi

Publication date: 22 November 2010

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

Full work available at URL: https://doi.org/10.1007/s00012-010-0081-4

zbMATH Keywords

representabilitycylindric algbraneat embeddingResek-Tompson theorem

Mathematics Subject Classification ID

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

Related Items (3)

Representations of polyadic-like equality algebras ⋮ Existence of partial transposition means representability in cylindric algebras ⋮ The polyadic generalization of the Boolean axiomatization of fields of sets

Cites Work

• Unnamed Item
• Cylindric-like algebras and algebraic logic
• Cylindric algebras. Part II
• Representable cylindric algebras
• Finitary polyadic algebras from cylindric algebras
• Representations of polyadic-like equality algebras
• Explicit Provability and Constructive Semantics
• The polyadic generalization of the Boolean axiomatization of fields of sets
• The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• Step by step – Building representations in algebraic logic
• Algebraic Logic, Where Does it Stand Today?
• On diagonals in representable cylindric algebras

This page was built for publication: On the representability of neatly embeddable CA's by cylindric relativized algebras