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.