Publication:3987718
From MaRDI portal
zbMath0744.03014MaRDI QIDQ3987718
Publication date: 28 June 1992
06D20: Heyting algebras (lattice-theoretic aspects)
03B25: Decidability of theories and sets of sentences
Related Items
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, On Bellissima's construction of the finitely generated free Heyting algebras, and beyond