Finitely generated free Heyting algebras: the well-founded initial segment

DOI10.2178/jsl.7704140zbMath1272.03163OpenAlexW1999789292MaRDI QIDQ4899176

R. Elageili, John K. Truss

Publication date: 7 January 2013

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1350315589

zbMATH Keywords

well-foundedfree Heyting algebralow ladder

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

Related Items (2)

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

Cites Work

• Unnamed Item
• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
• Constructivism in mathematics. An introduction. Volume I
• Free Heyting algebras
• On formulas of one variable in intuitionistic propositional calculus

This page was built for publication: Finitely generated free Heyting algebras: the well-founded initial segment