Pages that link to "Item:Q5956890"
From MaRDI portal
The following pages link to Relation algebras from cylindric algebras. II (Q5956890):
Displayed 8 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- (Q4530145) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Seurat games on Stockmeyer graphs (Q6056811) (← links)