|
Search: id:A067765
|
|
|
| A067765 |
|
Order of linear Heyting semi-lattice on n points. |
|
+0
1
|
| |
|
|
OFFSET
|
0,2
|
|
|
REFERENCES
|
P. J. Freyd, On the size of Heyting semi-lattices, preprint, 2002.
|
|
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
|
Adjacent sequences: A067762 A067763 A067764 this_sequence A067766 A067767 A067768
Sequence in context: A066361 A120929 A007184 this_sequence A086367 A059706 A128361
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
Peter Freyd (pjf(AT)saul.cis.upenn.edu), Feb 07 2002
|
|
EXTENSIONS
|
The next term is too large to include.
|
|
|
Search completed in 0.002 seconds
|
