Infinite Sperner's theorem

Benny Sudakov, István Tomon, Adam Zsolt Wagner

One of the most classical results in extremal set theory is Sperner's theorem, which says that the largest antichain in the Boolean lattice $2^{[n]}$ has size $Θ\big(\frac{2^n}{\sq…