Series: Penn State Logic Seminar

Date: Tuesday, February 13, 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

Abstract: 

Working within various subsystems of second order arithmetic, Reverse
Mathematics attempts to find the precise axiomatic strength necessary
to prove theorems of "ordinary" mathematics.  We will review the
subsystems RCA$_{0}$, WKL$_{0}$ and WWKL$_{0}$ as well as some of the
fundamental theorems provable in (and in many cases "equivalent" to)
each subsystem.  We conclude with a result due to D. Brown, M. Giusto
and S. Simpson.