On locally finite varieties of Heyting algebras

2023/06/28 by Manuel A. Martins, Tommaso Moraschini, Martins, M. +1
Computer Science · Economics, Econometrics and Finance · #Advanced Algebra and Logic #FOS: Mathematics #Game Theory and Voting Systems #Logic (math.LO) #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.2306.15997

openalex publication_date 2023/06/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01

Abstract

For every n ∈ ℕ, we construct a variety of Heyting algebras, whose n-generated free algebra is finite but whose (n+1)-generated free algebra is infinite.

Related

• Varieties of strictly n-generated Heyting algebras
• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
• On the preservation of unification type of Heyting algebras and interior algebras
• Model-completion of varieties of co-Heyting algebras
• Profiniteness and representability of spectra of Heyting algebras