Logic Seminar

We discuss the interactions of hyperfiniteness with notions of largeness on Ramsey spaces. In particular, we present a classical proof of Mathias's theorem that every countable Borel equivalence relation on the Ellentuck space is hyperfinite when restricted to some pure Ellentuck cube. This is joint work with A. Panagiotopoulos.