Pages that link to "Item:Q4899176"

The following pages link to Finitely generated free Heyting algebras: the well-founded initial segment (Q4899176):

Displaying 2 items.

• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)