login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A067765 Order of linear Heyting semi-lattice on n points. 4
1, 2, 18, 370386, 143436460933743129632865858558642 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,2

LINKS

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

P. J. Freyd, On the size of Heyting Semi-Lattices and Linear Heyting Algebras

FORMULA

a(0)=1; for n>0, a(n) = product((1+a(r))^binomial(n, r), r=0..n-1).

MAPLE

A067765 := proc(n) option remember; if n=0 then 1 else mul((1+A067765(r))^binomial(n, r), r=0..n-1); fi; end;

CROSSREFS

Sequence in context: A066361 A120929 A007184 * A293242 A321339 A086367

Adjacent sequences:  A067762 A067763 A067764 * A067766 A067767 A067768

KEYWORD

nonn

AUTHOR

Peter Freyd (pjf(AT)saul.cis.upenn.edu), Feb 07 2002

EXTENSIONS

The next term is too large to include.

STATUS

approved

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified October 23 14:42 EDT 2021. Contains 348214 sequences. (Running on oeis4.)