Miniworkshop on Logic, Constructive Mathematics, and Reverse Mathematics
Organisers
Josef Berger
and Diana Ratiu
Venue
Room B 040,
Mathematisches Institut der Universität München, Theresienstraße 39,
80333 München
Programme
Tuesday, 11 August 2009
14:15 - 15:00 Takako Nemoto wwkl and Lebesgue measure
15:00 - 15:45 Douglas Bridges Anti-Specker properties
15.45 - 16:15 Kaffeepause
16:15 - 17:00 Josef Berger BD-N and fan theorems
Wednesday, 12 August 2009
14:15 - 15:00 Kentaro Sato Universal Approach to Reverse Mathematicses
15:00 - 15:45 Daniel Bembé
Once again: a new certificate for Budan's theorem
15.45 - 16:15 Kaffeepause
16:15 - 17:00 Diana Ratiu Computational content in proofs
17:00 - 17:45 Peter Schuster Unique solutions
Josef Berger, 10.08.2009
