A067765 Order of linear Heyting semi-lattice on n points.

1, 2, 18, 370386, 143436460933743129632865858558642

Offset

0,2

Comments

The next term is too large to include.

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_{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

Sequence in context: A120929 A349886 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

Status

approved