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

DOI10.1007/S00012-010-0081-4MaRDI QIDQ607464zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A new representation theory: representing cylindric-like algebras by relativized set algebras
• Existence of partial transposition means representability in cylindric algebras
• On Cylindric Algebras Satisfying Merry-go-round Properties
• scientific article; zbMATH DE number 6287557
• Canonical Relativized Cylindric Set Algebras and Weak Associativity
• Various notions of represetability for cylindric and polyadic algebras
• On some developments in the representation theory of cylindric-like algebras
• scientific article; zbMATH DE number 5557947
• Canonical Relativized Cylindric Set Algebras
• On taking subalgebras of relativized relation algebras

Cites work

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

Cited in

(9)

• On Cylindric Algebras Satisfying Merry-go-round Properties
• On neat embeddings of cylindric algebras
• A new representation theory: representing cylindric-like algebras by relativized set algebras
• Notions of representability for cylindric algebras: some algebras are more representable than others
• Representing all cylindric algebras by twisting on a problem of Henkin
• Existence of partial transposition means representability in cylindric algebras
• On representability of neatly embeddable cylindric algebras
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Representations of polyadic-like equality algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q607464)