Pages that link to "Item:Q1377624"
From MaRDI portal
The following pages link to Atom structures of cylindric algebras and relation algebras (Q1377624):
Displayed 22 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Functionally dense relation algebras (Q1762473) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- So, what exactly is a qualitative calculus? (Q2046028) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- On the variety generated by completions of representable relation algebras (Q2297227) (← links)
- Varieties generated by completions (Q2311330) (← 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)
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522) (← 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)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
- Blow Up and Blur Constructions in Algebraic Logic (Q5015978) (← 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)