加载中…
We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with elements. This construction allows us to count them easily. We also compare the formula for the number of semi-Heyting chains thus obtained to the one previously known.

生成讲解博客的中文版本

生成AI智能校验的中文版本