2000 character limit reached
On locally finite varieties of Heyting algebras (2306.15997v1)
Published 28 Jun 2023 in math.LO
Abstract: For every $n \in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.