The following pages link to (Q4955600):
Displaying 20 items.
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- Orthomodular lattices whose MacNeille completions are not orthomodular (Q1182045) (← links)
- A monadic approach to the McNeille completion of a lattice (Q1239175) (← links)
- Completions of orthomodular lattices. II (Q1318352) (← links)
- Modularity is not canonical (Q1721744) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Orthocomplemented complete lattices and graphs (Q1907586) (← links)
- Choice-free duality for orthocomplemented lattices by means of spectral spaces (Q2165629) (← links)
- Canonical extensions and profinite completions of semilattices and lattices (Q2510378) (← links)
- Complete Lattices and Up-To Techniques (Q3498446) (← links)
- (Q3505082) (← links)
- (Q4904955) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)
- Quantum monadic algebras (Q5876988) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Negative translations of orthomodular lattices and their logic (Q6646296) (← links)