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

2, 6, 342, 137186159382

Offset

1,1

Links

Table of n, a(n) for n=1..4.

Peter Freyd, On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras, July 17 2017.

Crossrefs

Cf. A050318, A050365, A067765.

Sequence in context: A215293 A264410 A135014 * A092024 A252741 A069261

Adjacent sequences: A321568 A321569 A321570 * A321572 A321573 A321574

Keyword

nonn,more

Author

Peter Luschny, Nov 13 2018

Status

approved