Prefer a chat interface with context about you and your work?
On Dedekind’s problem: The number of monotone Boolean functions
The problem of determining the number \p(n) of elements of the free distributive lattice on « generators was posed by Dedekind [l ] in 1897.It was solved by that author for « = 4. R. Church [2] in 1940 and M. Ward [3] in 1946 obtained solutions for « = …