The following pages link to (Q3987718):
Displaying 5 items.
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- The word problem for \(Heyting^ *\) algebras (Q1095167) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- Finitely generated free Heyting algebras (Q4724609) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)