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.