Tentative Program
Monday, April 18, 2016
10.30 - 12.30 Session 1
- 10.30 - 11.15 Jäger — "Opening - a short look at our Templeton Project"
- 11.30 - 12.25 Ishihara — "A monad on the combinatory algebras"
12.30 - 14.00 Lunch Break
14.00 - 16.00 Session 2
- 14.00 - 14.55 Rathjen — "On Feferman's second conjecture"
- 15.00 - 15.55 Probst — "A modular ordinal analysis"
16.00 - 16.30 Coffee Break
16.30 - 18.45 Session 3
- 16.30 - 17.10 Sato — "Tutorial Part I: Interpretability and Predicativity"
- 17.15 - 18.10 Pohlers — "Characteristic ordinals in generalized recursion theory and proof theory"
- 18.15 - 18.40 Sanders — "A predicativist chimera originating from Nonstandard Analysis"
18.45 Dinner
Tuesday, April 19, 2016
08.30 - 10.15 Session 1
- 08.30 - 09.25 Arai — "Finitary analyses of regularities"
- 09.30 - 10.10 Sato — "Tutorial Part II: Double negation, forcing and realizability"
10.15 - 11.00 Coffee Break
11.00 - 12.30 Session 2
- 11.00 - 11.25 Rosebrock — "Recursion theory in applicative theories"
- 11.30 - 12.25 Fujimoto — "Predicativity/Impredicativity and Compositionality/Non-compositionality"
12.30 - 14.00 Lunch Break
14.00 - 15.30 Session 3
- 14.00 - 14.55 Joosten — "A fine structure of reflection formulas revisited"
- 15.00 - 15.25 Walker — "Finitist Truth and Reflection"
15.30 - 16.15 Coffee Break
16.15 - 18.15 Session 4
- 16.15 - 17.10 Nemoto — "Finitistically constructive Zermelo-Fraenkel set theory"
- 17.15 - 18.10 Walsh — "The Strength of Abstraction with Predicative Comprehension"
18.30 Dinner
Wednesday, April 20, 2016
08.30 - 10.00 Session 1
- 08.30 - 09.25 Setzer — "The Role of the Coinduction Hypothesis in Coinductive Proofs"
- 09.30 - 09.55 Steila — "From equivalent forms of CH to CH-systems"
10.00 - 10.30 Coffee Break
10.30 - 11.30 Session 2
- 10.30 - 11.25 Wainer — "Goodstein in Ackermann"
11.45 Lunch