login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A321571 a(n) is the order of the free linear Heyting algebra on n generators. 0
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

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

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