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.