Pages that link to "Item:Q2524562"
From MaRDI portal
The following pages link to On the representation theory for cylindric algebras (Q2524562):
Displaying 8 items.
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Some sufficient conditions for the representability of relation algebras (Q1249576) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Amalgamation, congruence-extension, and interpolation properties in algebras (Q2552131) (← links)
- Nonfinitizability of classes of representable cylindric algebras (Q5571688) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)