For every n∈Nn∈N, we construct a variety of Heyting algebras, whose nn-generated free algebra is finite but whose (n+1)(n+1)-generated free algebra is infinite.
生成讲解博客的中文版本
生成AI智能校验的中文版本