On the representability of neatly embeddable CA's by cylindric relativized algebras
The classical Neat Embedding Theorem (NET) says that a cylindric algebra \(A \in\) CA\(_\alpha\) is representable by cylindric set algebras if and only if it has the neat embedding property: \(A\) is neatly embeddable into an algebra in CA\(_{\alpha+\varepsilon}\) with \(\varepsilon \geq \omega\). The Resek-Thompson representation theorem has called attention to another kind of representation -- by algebras in Crs\(_\alpha\), i.e., by cylindric relativized set algebras. In the paper, the author finds several counterparts of the classical NET for this kind of representation. In particular, an algebra \(A \in\) CA\(_\alpha\) is representable by an algebra in Crs\(_\alpha \cap\) CA\(_\alpha\) if and only if \(A\) is neatly embeddable into an algebra from a certain ``transit class M\(^\alpha_{\alpha+\varepsilon}\) between CA\(_\alpha\) and Crs\(_\alpha \cap\) CA\(_\alpha\). Connections between the obtained results and the Resek-Thomson theorem are also analysed in the paper. The author notes that ideas underlying his proofs and the proof of the theorem in [\textit{H. Andréka} and \textit{R. J. Thompson}, ``A Stone type representation theorem for algebras of relations of higher rank, Trans. Am. Math. Soc. 309, No. 2, 671--682 (1988; Zbl 0707.03053)] are completely different, and that his results can be adapted to quasi-polyadic and polyadic equality algebras.
- 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
- 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
- Representations of polyadic-like equality algebras
- A new representation theory: representing cylindric-like algebras by relativized set algebras
- Representing all cylindric algebras by twisting on a problem of Henkin
- Existence of partial transposition means representability in cylindric algebras
- The polyadic generalization of the Boolean axiomatization of fields of sets
- On neat embeddings of cylindric algebras
- On representability of neatly embeddable cylindric algebras
- On Cylindric Algebras Satisfying Merry-go-round Properties
- Notions of representability for cylindric algebras: some algebras are more representable than others
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)
