A067765 - OEIS

A067765

Order of linear Heyting semi-lattice on n points.

1, 2, 18, 370386, 143436460933743129632865858558642

(list; graph; refs; listen; history; text; internal format)

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