A recursive formula for the number of semi-Heyting algebras definable on a finite chain
Luiz F. Monteiro, Juan M. Cornejo, Ignacio Viglizzo · arXiv (Cornell University) · 2017
We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with $n$ 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.