Pages that link to "Item:Q711563"
From MaRDI portal
The following pages link to On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563):
Displayed 6 items.
- Codimension and pseudometric in co-Heyting algebras (Q535091) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Finitely generated free Heyting algebras: the well-founded initial segment (Q4899176) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)