A321571 - OEIS

A321571

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

2, 6, 342, 137186159382 (list; graph; refs; listen; history; text; internal format)

	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`

Last modified August 17 23:13 EDT 2022. Contains 356204 sequences. (Running on oeis4.)