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.