Series: Logic Seminar

Date: Tuesday, January 25, 2000

Speaker: Stephen G. Simpson (Penn State, Math)

Title: Introduction to Pi^0_1 Classes

Time: 2:30 - 3:20 PM

Place: 219 Thomas Building

Abstract: 

Pi^0_1 classes are an important topic in recursive function theory
with many applications to mathematical logic and foundations of
mathematics.  This semester I plan to give several talks on Pi^0_1
classes.  This week's talk will be introductory in nature.  A good
reference on Pi^0_1 classes is the recent 200-page survey by Cenzer
and Remmel in the Handbook of Recursive Mathematics, North-Holland,
1999.