Borel Chromatic Numbers and Borel Combinatorics

Reading Seminar in Descriptive Set Theory by Karen Bakke Haga.

Today we will see Ben Miller's classical proof of Silver's theorem.