Pages that link to "Item:Q5461397"
From MaRDI portal
The following pages link to Canonical varieties with no canonical axiomatisation (Q5461397):
Displaying 15 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- On the variety generated by completions of representable relation algebras (Q2297227) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- RESIDUAL PROPERTIES OF SIMPLE GRAPHS (Q3065426) (← links)
- Weak representations of relation algebras and relational bases (Q3173530) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- Seurat games on Stockmeyer graphs (Q6056811) (← links)
