Pages that link to "Item:Q862977"
From MaRDI portal
The following pages link to Profinite completions and canonical extensions of Heyting algebras (Q862977):
Displaying 26 items.
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- Codimension and pseudometric in co-Heyting algebras (Q535091) (← links)
- A note on profinite completions and canonical extensions (Q616118) (← links)
- Priestley rings and Priestley order-compactifications (Q651431) (← links)
- Compatible relations on Heyting chains (Q664307) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- On profinite completions and canonical extensions (Q861603) (← links)
- Profinite MV-algebras and multisets. (Q890022) (← links)
- Profinite Heyting algebras (Q953270) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras (Q1047116) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- Bohr compactifications of algebras and structures (Q2014018) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Topo-canonical completions of closure algebras and Heyting algebras (Q2476160) (← links)
- Canonical extensions and profinite completions of semilattices and lattices (Q2510378) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- The frame of nuclei on an Alexandroff space (Q2663169) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- (Q3535661) (← links)
- Profinite completions and MacNeille completions of finitely presented MV-algebras (Q5065668) (← links)
- A complete Heyting algebra whose Scott space is non-sober (Q5146439) (← links)
