Pages that link to "Item:Q1377624"
From MaRDI portal
The following pages link to Atom structures of cylindric algebras and relation algebras (Q1377624):
Displayed 13 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Functionally dense relation algebras (Q1762473) (← links)
- Representability is not decidable for finite relation algebras (Q2701663) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- A simple construction of representable relation algebras with non-representable completions (Q3632521) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)