Pages that link to "Item:Q862977"
From MaRDI portal
The following pages link to Profinite completions and canonical extensions of Heyting algebras (Q862977):
Displaying 18 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)
- Priestley rings and Priestley order-compactifications (Q651431) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← 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)
- 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)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← 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)
- Profinite completions and MacNeille completions of finitely presented MV-algebras (Q5065668) (← links)
