This is a series of talks I gave in late 2020 about my Honours project. The first talk was a 50-minute lecture given to the VUW Logic Seminar, on Monday 14th September 2020: Abstract: Cousin’s lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. Using reverse … Continue reading The reverse mathematics of Cousin’s lemma