Ulrich Wilhelm Kohlenbach
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 27519
Dissertation: Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: Effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen
Advisor 1
- Horst LuckhardtInstitution not recorded
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Eyvind Martol Briseid | Not recorded | — | 0 |
| Jaime Gaspar | University of Kent, Canterbury | 2019 | 0 |
| Philipp Gerhardy | Aarhus University | 2006 | 0 |
| Daniel Körnlein | Not recorded | — | 0 |
| Angeliki Koutsoukou-Argyraki | Not recorded | — | 0 |
| Alexander P. Kreuzer | Not recorded | — | 0 |
| Branimir Zdravkov Lambov | Aarhus University | 2006 | 0 |
| Paulo Oliva | Aarhus University | 2003 | 3 |
| Nicholas Norbert Pischke | Not recorded | — | 0 |
| Pavol Safarik | Not recorded | — | 0 |