The following pages link to Profinite Heyting algebras (Q953270):
Displayed 21 items.
- Compact Hausdorff Heyting algebras (Q334967) (← links)
- Funayama's theorem revisited (Q387628) (← links)
- Cofinal stable logics (Q514517) (← links)
- Stone MV-algebras and strongly complete MV-algebras (Q522224) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Profinite MV-algebras and multisets. (Q890022) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Hofmann-Mislove through the lenses of Priestley (Q2099147) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- When is the frame of nuclei spatial: a new approach (Q2301464) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- B-frame duality (Q2689804) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)