|
|
A067765
|
|
Order of linear Heyting semi-lattice on n points.
|
|
4
|
|
|
|
OFFSET
|
0,2
|
|
COMMENTS
|
The next term is too large to include.
|
|
LINKS
|
|
|
FORMULA
|
a(0)=1; for n>0, a(n) = Product_{r=0..n-1} (1+a(r))^binomial(n, r).
|
|
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
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
Peter Freyd (pjf(AT)saul.cis.upenn.edu), Feb 07 2002
|
|
STATUS
|
approved
|
|
|
|