Pages that link to "Item:Q1935018"

The following pages link to A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018):

Displaying 9 items.

• Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
• The class of completely representable polyadic algebras of infinite dimensions is elementary (Q485109) (← links)
• A non-representable cylindric algebra with pairing functions (Q1090331) (← links)
• Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
• Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
• On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522) (← links)
• (Q3618753) (← links)
• Relation algebras from cylindric and polyadic algebras (Q4353721) (← links)