Series: Logic Seminar
Speaker: Stephen G. Simpson (Penn State, Mathematics)
Title: Separation Principles in Logic and Analysis, continued
Date: Tuesday, September 15, 1998
Time: 2:30 PM
Place: 113 McAllister Building
Abstract:
We will discuss "Separation and Weak K"onig's Lemma", 14 pages, to
appear in the Journal of Symbolic Logic. The preprint is available
on-line at
http://www.math.psu.edu/simpson/papers/
General background on reverse mathematics is available at
http://www.math.psu.edu/simpson/sosoa/
including chapter one of my forthcoming book.