1. Mirsky's theorem, Dilworth's theorem
2. Sperner's theorem, Erdős's theorem on k-Sperner families, LYM inequality
3. Bollobas set pair Systems, shifting (def. some properties)
4. Lovász version of the shadow theorem, EKR from shadow.
5. EKR cycle proof, Milner theorem on intersecting Sperner systems
6. Hilton-Milner, non-uniform t-intersectng families
7. shadow theorem for intersecting families (families with mathing number at most s), Erdős matching conjecture (without proof) 
8. forbidden subposet problem, Lubell mass, chain partition method
9. Ellis, Ivan, Leader construction for diasies and its consequence for La(n,B_4)
10. Tuza's bound on number of points in ISPS, number of maximal intersecting families, number of intersecting families