formulas and the continuum problem| Donnerstag, 20. September 2001 | |
| 14.00 | Hans Kamp, Universität Stuttgart |
| Logik und Linguistik | |
| 15.00 | David Asperó, Universität Wien |
| Forcing absoluteness for formulas and the continuum problem | |
| 15.30 | Heike Mildenberger, Universität Wien |
| Some implications in infinite combinatorics | |
| 16.00 | Helmut Schwichtenberg, Universität München |
| A syntactical analysis of non-size-increasing polynomial time computation | |
| 16.30 | Peter Schuster, Universität München |
| Entferntsein als konstruktiver Weg zur Topologie | |
| 17.00 | Endre Kövesi, Wien |
| The Puzzle of Transfinite Integers | |
| 17.30 | Franz Pauer, Universität Innsbruck |
| Lineare Systeme partieller Differenzengleichungen und Gröbnerbasen |