AMS Sectional Meeting Program by Special Session
Current as of Tuesday, April 12, 2005 15:21:29
2001 Fall Central Section Meeting
Columbus, OH, September 2123, 2001
Meeting #969
Associate secretaries: Susan J Friedlander, AMS susan@math.northwestern.edu
Special Session on Proof Theory and the Foundations of Mathematics

Friday September 21, 2001, 1:30 p.m.5:15 p.m.
Special Session on Proof Theory and the Foundations of Mathematics, I
UH 0082, University Hall (UH)
Organizers:
Timothy Carlson, Ohio State University carlson@math.ohiostate.edu

1:30 p.m.
Lambdacalculus with internalization.
Sergei N Artemov*, The City University of New York Graduate Center
(96903212) 
2:30 p.m.
Relating the Veblen and Mahlo hierarchies.
Michael Rathjen*, University of Leeds
(96903110) 
3:30 p.m.
Hilbert's Consistency Proofs.
Wilfried Sieg*, Carnegie Mellon University
(96903109) 
4:30 p.m.
Envisioning the Triumph of Constructive Mathematics.
Matthew Frank*, University of Chicago
(9690315)

1:30 p.m.

Saturday September 22, 2001, 8:30 a.m.11:15 a.m.
Special Session on Proof Theory and the Foundations of Mathematics, II
BE 0291, Baker Systems Engineering (BE)
Organizers:
Timothy Carlson, Ohio State University carlson@math.ohiostate.edu

8:30 a.m.
Applied foundations: recent progress in proof mining.
Ulrich W Kohlenbach*, Department of Computer Science, University of Aarhus
(9690392) 
9:30 a.m.
Provable Recursiveness and Complexity.
Stanley S Wainer*, University of Leeds UK
(96903173) 
10:30 a.m.
Update procedures and the 1consistency of arithmetic.
Jeremy Avigad*, Carnegie Mellon University
(96903177)

8:30 a.m.

Saturday September 22, 2001, 3:00 p.m.4:45 p.m.
Special Session on Proof Theory and the Foundations of Mathematics, III
BE 0291, Baker Systems Engineering (BE)
Organizers:
Timothy Carlson, Ohio State University carlson@math.ohiostate.edu

Sunday September 23, 2001, 9:00 a.m.12:20 p.m.
Special Session on Proof Theory and the Foundations of Mathematics, IV
BE 0291, Baker Systems Engineering (BE)
Organizers:
Timothy Carlson, Ohio State University carlson@math.ohiostate.edu

9:00 a.m.
Higher recursion in proof theory.
Michael M\"ollerfeld*, Institute for Mathematical Logic, WWU M\"unster
(96903156) 
10:00 a.m.
Muchnik Degrees of $\Pi^0_1$ Subsets of $2^\omega$.
Stephen G. Simpson*, Penn State University
(96903183) 
11:00 a.m.
Propositions as [bracket] types.
Steve Awodey*, Carnegie Mellon University
(96903105) 
12:00 p.m.
Proofs in Infinitesimal Analysis.
Rick Sommer*, Stanford University
(96903257)

9:00 a.m.