AMS Sectional Meeting Program by Special Session

Current as of Tuesday, April 12, 2005 15:21:29

Associate secretaries:
Susan J Friedlander, AMS susan@math.northwestern.edu

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.ohio-state.edu
- 1:30 p.m.
  Lambda-calculus with internalization.
  Sergei N Artemov*, The City University of New York Graduate Center
  (969-03-212)
- 2:30 p.m.
  Relating the Veblen and Mahlo hierarchies.
  Michael Rathjen*, University of Leeds
  (969-03-110)
- 3:30 p.m.
  Hilbert's Consistency Proofs.
  Wilfried Sieg*, Carnegie Mellon University
  (969-03-109)
- 4:30 p.m.
  Envisioning the Triumph of Constructive Mathematics.
  Matthew Frank*, University of Chicago
  (969-03-15)

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.ohio-state.edu
- 8:30 a.m.
  Applied foundations: recent progress in proof mining.
  Ulrich W Kohlenbach*, Department of Computer Science, University of Aarhus
  (969-03-92)
- 9:30 a.m.
  Provable Recursiveness and Complexity.
  Stanley S Wainer*, University of Leeds UK
  (969-03-173)
- 10:30 a.m.
  Update procedures and the 1-consistency of arithmetic.
  Jeremy Avigad*, Carnegie Mellon University
  (969-03-177)

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.ohio-state.edu
- 3:00 p.m.
  Operational theories of sets.
  Solomon Feferman*, Stanford University
  (969-03-132)
- 4:00 p.m.
  Some aspects of linear logic.
  Andreas R Blass*, University of Michigan
  (969-03-120)

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.ohio-state.edu
- 9:00 a.m.
  Higher recursion in proof theory.
  Michael M\"ollerfeld*, Institute for Mathematical Logic, WWU M\"unster
  (969-03-156)
- 10:00 a.m.
  Muchnik Degrees of $\Pi^0_1$ Subsets of $2^\omega$.
  Stephen G. Simpson*, Penn State University
  (969-03-183)
- 11:00 a.m.
  Propositions as [bracket] types.
  Steve Awodey*, Carnegie Mellon University
  (969-03-105)
- 12:00 p.m.
  Proofs in Infinitesimal Analysis.
  Rick Sommer*, Stanford University
  (969-03-257)

Inquiries: meet@ams.org