
AMS Sectional Meeting Program by Special Session
Current as of Tuesday, April 12, 2005 15:21:29
Program 
Deadlines 
Registration/Housing/Etc. 
Inquiries: meet@ams.org
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)

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)

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

3:00 p.m.
Operational theories of sets.
Solomon Feferman*, Stanford University
(96903132)

4:00 p.m.
Some aspects of linear logic.
Andreas R Blass*, University of Michigan
(96903120)

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)
Inquiries: meet@ams.org

