A computation of the eighth Dedekind number

@article{Wiedemann1991ACO,
  title={A computation of the eighth Dedekind number},
  author={Douglas H. Wiedemann},
  journal={Order},
  year={1991},
  volume={8},
  pages={5-6}
}
We compute the eighth Dedekind number, or the number of monotone collections of subsets of a set with eight elements. The number obtained is 56, 130, 437, 228, 687, 557, 907, 788. 
On the number of inequivalent monotone Boolean functions of 8 variables
In this paper, the author presents algorithms that allow determining the number of fixed points in permutations of a set of monotone Boolean functions. Then, using Burnside’s lemma, the author
A Flexible Approach for the Enumeration of Down-Sets and its Application on Dedekind Numbers
We introduce a flexible approach for the enumeration of the down-sets of a finite poset and test it with the calculation of the Dedekind numbers b (5) = 7581 and b (6) = 7828354. For the calculation of
The Central Decomposition of FD01(n)
The paper presents a method of composing finite distributive lattices from smaller pieces and applies this to construct the finitely generated free distributive lattices from appropriate Boolean
Counting Families of Mutually Intersecting Sets
TLDR
The number of maximal intersecting families on a 9-set and nd 423295099074735261880 is determined, which isroughly 1:255 10 91 , respectively.
Intervals of Antichains and Their Decompositions
An antichain of subsets is a set of subsets such that no subset in the antichain is a proper subset of any other subset in the antichain. The Dedekind number counts the total number of antichains of
The Number of Star Operations on Numerical Semigroups and on Related Integral Domains
We study the cardinality of the set Star(S) of star operations on a numerical semigroup S; in particular, we study ways to estimate Star(S) and to bound the number of nonsymmetric numerical
Counterexamples to Conjectures About Subset Takeaway and Counting Linear Extensions of a Boolean Lattice
TLDR
An algorithm for efficiently computing recursively defined functions on posets is developed and disproving conjectures about the game Subset Takeaway and computing the number of linear extensions of the lattice of a 7-cube and related lattices is illustrated.
Enumerating orientations of the free spikes
...
...