A recursive formula for the number of semi-Heyting algebras definable on a finite chain
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2017
- DOI:
- arXiv:
- arXiv:1710.02408
- Bibcode:
- 2017arXiv171002408M
- Keywords:
-
- Mathematics - Logic;
- 03G25
- E-Print:
- doi:10.1002/malq.201900070