A note on substitutions in representable cylindric algebras
From MaRDI portal
Publication:3632525
DOI10.1002/malq.200710086zbMath1165.03055OpenAlexW2084592308MaRDI QIDQ3632525
Publication date: 11 June 2009
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710086
Related Items
Quasi-polyadic algebras and their dual position ⋮ Cylindric algebras and finite polyadic algebras ⋮ On the definition and the representability of quasi-polyadic equality algebras ⋮ Existence of partial transposition means representability in cylindric algebras
Cites Work
- Cylindric algebras. Part II
- Finitary polyadic algebras from cylindric algebras
- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
- Relation algebras from cylindric and polyadic algebras
- On representability of neatly embeddable cylindric algebras
- Relation algebra reducts of cylindric algebras and an application to proof theory
- An Omitting Types Theorem for first order logic with infinitary relation symbols
- On Cylindric Algebras Satisfying Merry-go-round Properties
- Algebraic Logic, Where Does it Stand Today?
- Unnamed Item
- Unnamed Item