The following pages link to Profinite Heyting algebras (Q953270):
Displayed 11 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)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)