Pages that link to "Item:Q2062218"
From MaRDI portal
The following pages link to Hyper-MacNeille completions of Heyting algebras (Q2062218):
Displaying 5 items.
- Model completions and r-Heyting categories (Q1372155) (← links)
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- (Q4870894) (← links)
- A complete Heyting algebra whose Scott space is non-sober (Q5146439) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)