login
Number of nonisomorphic systems enumerated by A102894; that is, the number of inequivalent closure operators in which the empty set is closed. Also, the number of union-closed sets with n elements that contain the universe and the empty set.
15

%I #39 Dec 19 2023 13:41:18

%S 1,1,3,14,165,14480,108281182,2796163091470050

%N Number of nonisomorphic systems enumerated by A102894; that is, the number of inequivalent closure operators in which the empty set is closed. Also, the number of union-closed sets with n elements that contain the universe and the empty set.

%C Also the number of unlabeled finite sets of subsets of {1..n} that contain {} and {1..n} and are closed under intersection. - _Gus Wiseman_, Aug 02 2019

%H Maria Paola Bonacina and Nachum Dershowitz, <a href="https://doi.org/10.1007/978-3-642-37651-1_3">Canonical ground Horn theories</a>, Lecture Notes in Computer Science 7797, 35-71 (2013).

%H G. Brinkmann and R. Deklerck, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL21/Brinkmann/brink6.html">Generation of Union-Closed Sets and Moore Families</a>, Journal of Integer Sequences, Vol.21 (2018), Article 18.1.7.

%H G. Brinkmann and R. Deklerck, <a href="https://arxiv.org/abs/1701.03751">Generation of Union-Closed Sets and Moore Families</a>, arXiv:1701.03751 [math.CO], 2017.

%H Christopher S. Flippen, <a href="https://scholarscompass.vcu.edu/etd/7527/">Minimal Sets, Union-Closed Families, and Frankl's Conjecture</a>, Master's thesis, Virginia Commonwealth Univ., 2023.

%F a(n) = A108800(n)/2.

%e From _Gus Wiseman_, Aug 02 2019: (Start)

%e Non-isomorphic representatives of the a(0) = 1 through a(3) = 14 union-closed sets of sets:

%e {} {}{1} {}{12} {}{123}

%e {}{2}{12} {}{3}{123}

%e {}{1}{2}{12} {}{23}{123}

%e {}{1}{23}{123}

%e {}{3}{23}{123}

%e {}{13}{23}{123}

%e {}{2}{3}{23}{123}

%e {}{2}{13}{23}{123}

%e {}{3}{13}{23}{123}

%e {}{12}{13}{23}{123}

%e {}{2}{3}{13}{23}{123}

%e {}{3}{12}{13}{23}{123}

%e {}{2}{3}{12}{13}{23}{123}

%e {}{1}{2}{3}{12}{13}{23}{123}

%e (End)

%Y The labeled version is A102894.

%Y Cf. A000612, A001930, A003180, A102895, A102897, A108800, A193674, A193675, A326867, A326869, A326883.

%K nonn,more

%O 0,3

%A _Don Knuth_, Jul 01 2005

%E a(6) added (using A193674) by _N. J. A. Sloane_, Aug 02 2011

%E Added a(7), and reference to union-closed sets. - _Gunnar Brinkmann_, Feb 05 2018