Pages that link to "Item:Q1272149"
From MaRDI portal
The following pages link to Atom structures and Sahlqvist equations (Q1272149):
Displaying 13 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- Properties of the atoms in finitely supported structures (Q2288339) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- (Q4208247) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)