Series: Penn State Logic Seminar Date: Tuesday, March 20, 2001 Time: 2:30 - 3:20 PM Place: 316 Willard Building Speaker: Douglas K. Brown, Penn State, Altoona College, Mathematics Title: Vitali's Lemma in Reverse Mathematics, part 2 Abstract: We show that (a version of) Vitali's Lemma is equivalent, over RCA0, to the axiom WWKL. Some questions regarding the application of Vitali's Lemma will also be considered.
Mathematical Logic at Penn State
Department of Mathematics