login
a(n) is the order of the free linear Heyting algebra on n generators.
0

%I #8 Nov 14 2018 13:32:31

%S 2,6,342,137186159382

%N a(n) is the order of the free linear Heyting algebra on n generators.

%H Peter Freyd, <a href="https://www.math.upenn.edu/~pjf/Heyting.pdf">On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras</a>, July 17 2017.

%Y Cf. A050318, A050365, A067765.

%K nonn,more

%O 1,1

%A _Peter Luschny_, Nov 13 2018