A Flexible Approach for the Enumeration of Down-Sets and its Application on Dedekind Numbers

Frank a Campo

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$.…