Skip to main content
2 events
when toggle format what by license comment
Oct 25, 2016 at 18:55 comment added Sam Hopkins The LYM property implies the Sperner property, i.e., that $\mathrm{width}(P) = \mathrm{max}(N_i)$. So if all the $N_i$ are roughly the same, the Theorem gives the same estimate as the trivial upper bound. So the Theorem is mostly interesting in the case where the $N_i$ are of different orders of magnitude, as happens for the Boolean lattice.
Oct 24, 2016 at 18:33 history answered Sam Hopkins CC BY-SA 3.0