This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A007153 M3551 N1439 #63 Feb 16 2025 08:32:31
%S A007153 0,1,4,18,166,7579,7828352,2414682040996,56130437228687557907786,
%T A007153 286386577668298411128469151667598498812364
%N A007153 Dedekind numbers: number of monotone Boolean functions or antichains of subsets of an n-set containing at least one nonempty set.
%C A007153 Equivalently, the number of elements of the free distributive lattice with n generators.
%C A007153 A monotone Boolean function is an increasing functions from P(S), the set of subsets of S, to {0,1}.
%C A007153 The count of antichains excludes the empty antichain which contains no subsets and the antichain consisting of only the empty set.
%C A007153 The number of continuous functions f : R^n->R with f(x_1,..,x_n) in {x_1,..,x_n}. - _Jan Fricke_, Feb 12 2004
%C A007153 From _Robert FERREOL_, Mar 23 2009: (Start)
%C A007153 a(n) is also the number of reduced normal conjunctive forms with n variables without negation.
%C A007153 For example the 18 forms for n=3 are :
%C A007153 a
%C A007153 b
%C A007153 c
%C A007153 a or b
%C A007153 a or c
%C A007153 b or c
%C A007153 a or b or c
%C A007153 a and b
%C A007153 a and c
%C A007153 b and c
%C A007153 a and (b or c)
%C A007153 b and (a or c)
%C A007153 c and (a or b)
%C A007153 (a or b) and (a or c)
%C A007153 (b or a) and (b or c)
%C A007153 (c or a) and (c or b)
%C A007153 a and b and c
%C A007153 (a or b) and (a or c) and (b or c)
%C A007153 (End)
%D A007153 I. Anderson, Combinatorics of Finite Sets. Oxford Univ. Press, 1987, p. 38.
%D A007153 J. L. Arocha, (1987) "Antichains in ordered sets" [ In Spanish ]. Anales del Instituto de Matematicas de la Universidad Nacional Autonoma de Mexico 27: 1-21.
%D A007153 R. Balbes and P. Dwinger, Distributive Lattices, Univ. Missouri Press, 1974, see p. 97. - _N. J. A. Sloane_, Aug 15 2010
%D A007153 J. Berman, "Free spectra of 3-element algebras", in R. S. Freese and O. C. Garcia, editors, Universal Algebra and Lattice Theory (Puebla, 1982), Lect. Notes Math. Vol. 1004, 1983.
%D A007153 G. Birkhoff, Lattice Theory. American Mathematical Society, Colloquium Publications, Vol. 25, 3rd ed., Providence, RI, 1967, p. 63.
%D A007153 L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 273.
%D A007153 M. A. Harrison, Introduction to Switching and Automata Theory. McGraw Hill, NY, 1965, p. 188.
%D A007153 W. F. Lunnon, The IU function: the size of a free distributive lattice, pp. 173-181 of D. J. A. Welsh, editor, Combinatorial Mathematics and Its Applications. Academic Press, NY, 1971.
%D A007153 S. Muroga, Threshold Logic and Its Applications. Wiley, NY, 1971, p. 38 and 214.
%D A007153 N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
%D A007153 N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%D A007153 D. B. West, Introduction to Graph Theory, 2nd ed., Prentice-Hall, NJ, 2001, p. 349.
%H A007153 K. S. Brown, <a href="http://www.mathpages.com/home/kmath030.htm">Dedekind's problem</a>
%H A007153 J. Berman, <a href="/A007153/a007153.pdf">Free spectra of 3-element algebras</a>, R. S. Freese and O. C. Garcia, editors, Universal Algebra and Lattice Theory (Puebla, 1982), Lect. Notes Math. Vol. 1004, 1983. (Annotated scanned copy)
%H A007153 Sara Billey and Matjaž Konvalinka, <a href="https://arxiv.org/abs/2412.03236">Generalized rank functions and quilts of alternating sign matrices</a>, arXiv:2412.03236 [math.CO], 2024. See pp. 32, 35.
%H A007153 R. Church, <a href="https://doi.org/10.1215/S0012-7094-40-00655-X">Numerical analysis of certain free distributive lattices</a>, Duke Math. J., 6 (1940), 732-734.
%H A007153 Jacob North Clark and Stephen Montgomery-Smith, <a href="https://arxiv.org/abs/1809.07747">Shapley-like values without symmetry</a>, arXiv:1809.07747 [econ.TH], 2018.
%H A007153 J. D. Farley, <a href="https://www.ams.org/notices/202202/rnoti-p190.pdf">Was Gelfand right? The many loves of lattice theory</a>, Notices AMS 69:2 (2022), 190-197.
%H A007153 J. L. King, <a href="http://www.math.ufl.edu/~squash/">Brick tiling and monotone Boolean functions</a>
%H A007153 D. J. Kleitman, <a href="http://dx.doi.org/10.1090/S0002-9939-1969-0241334-6">On Dedekind's problem: The number of monotone Boolean functions</a>, Proc. Amer. Math. Soc. 21 1969 677-682.
%H A007153 D. J. Kleitman and G. Markowsky, <a href="http://dx.doi.org/10.1090/S0002-9947-1975-0382107-0">On Dedekind's problem: the number of isotone Boolean functions. II</a>, Trans. Amer. Math. Soc. 213 (1975), 373-390.
%H A007153 N. M. Rivière, <a href="https://doi.org/10.1016/S0021-9800(68)80068-7">Recursive formulas on free distributive lattices</a>, J. Combin. Theory, 5 (1968), 229-234. - _N. J. A. Sloane_, Aug 15 2010
%H A007153 N. J. A. Sloane, <a href="http://neilsloane.com/doc/sg.txt">My favorite integer sequences</a>, in Sequences and their Applications (Proceedings of SETA '98).
%H A007153 M. Ward, <a href="https://doi.org/10.1090/S0002-9904-1946-08566-3">Note on the order of the free distributive lattice</a>, Bull. Amer. Math. Soc., (1946), Abstract 52-5-135 p.423. - _N. J. A. Sloane_, Aug 15 2010
%H A007153 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/Antichain.html">Antichain</a>
%H A007153 D. H. Wiedemann, <a href="https://doi.org/10.1007/BF00385808">A computation of the eighth Dedekind number</a>, Order 8 (1991) 5-6.
%H A007153 K. Yamamoto, <a href="https://doi.org/10.2969/jmsj/00630343">Logarithmic order of free distributive lattice</a>, Math. Soc. Japan, 6 (1954), 343-353. - _N. J. A. Sloane_, Aug 15 2010
%H A007153 <a href="/index/Bo#Boolean">Index entries for sequences related to Boolean functions</a>
%e A007153 a(2)=4 from the antichains {{1}}, {{2}}, {{1,2}}, {{1},{2}}.
%Y A007153 Equals A000372 - 2 and A014466 - 1.. Cf. A003182.
%K A007153 nonn,hard,nice
%O A007153 0,3
%A A007153 _N. J. A. Sloane_
%E A007153 Last term from D. H. Wiedemann, personal communication
%E A007153 Additional comments from _Michael Somos_, Jun 10 2002
%E A007153 Term a(9) (using A000372) from _Joerg Arndt_, Apr 07 2023