|
| |
|
|
A067765
|
|
Order of linear Heyting semi-lattice on n points.
|
|
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
| Sequence in context: A066361 A120929 A007184 * A086367 A059706 A128361
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.
|
| |
|
|
