On Bellissima's construction of the finitely generated free Heyting algebras, and beyond

DOI10.1007/s00153-010-0194-7zbMath1215.06004arXiv0812.2027OpenAlexW2028822621MaRDI QIDQ711563

Markus Junker, Luck Darnière

Publication date: 27 October 2010

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0812.2027

zbMATH Keywords

automorphism groupspectrumcompletionirreducible elementsKripke modelfinitely generated Heyting algebrafree Heyting algebra

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Heyting algebras (lattice-theoretic aspects) (06D20) Free algebras (08B20) Topological lattices (06B30) Model theory of ordered structures; o-minimality (03C64)

Related Items

Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Finitely generated free Heyting algebras: the well-founded initial segment ⋮ Codimension and pseudometric in co-Heyting algebras ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Canonical Extensions, Esakia Spaces, and Universal Models

Cites Work

• Codimension and pseudometric in co-Heyting algebras
• Profinite completions and canonical extensions of Heyting algebras
• Profinite Heyting algebras
• Elementary theories of free topo-Boolean and pseudo-Boolean algebras
• Model completions and r-Heyting categories
• Free Heyting algebras
• On closed elements in closure algebras
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Finitely generated free Heyting algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item