Zulip Chat Archive

Stream: maths

Topic: Intersecting families

Yaël Dillies (May 27 2022 at 09:37):

Just to let the combinatorialists among you know that I'm doing the basics of intersecting families. I'm going through Families of Non-disjoint subsets and have already formalised Harris-Kleitman.

Yaël Dillies (May 27 2022 at 09:39):

Once more, Bhavik is to blame for nerdsniping me :grinning:

Bhavik Mehta (May 27 2022 at 12:56):

Just to add that I proved Erdos-Ko-Rado over two years ago, but Yaël should hopefully be proving some generalisations of it now!

Yaël Dillies (May 31 2022 at 11:16):

#14475 for the basics.

Last updated: Dec 20 2023 at 11:08 UTC