Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-1 und Äquivalente |
|---|---|
| Fachgebiet | Grundlagen der Mathematik, Logik, Mengenlehre |
| Keywords | Pi^1_n-reflection, Proof-theory, metapredicativity, non-monotone inductive definitions, ordinal analysis |
Aktuelle Kontaktadresse
| Land | Schweiz |
|---|---|
| Ort | Bern |
| Universität/Institution | Universität Bern |
| Institut/Abteilung | Institut für Informatik und Angewandte Mathematik |
Gastgeber*innen während der Förderung
| Prof. Dr. Wilfried Buchholz | Mathematisches Institut, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Beginn der ersten Förderung | 01.08.2009 |
Programm(e)
| 2009 | Humboldt-Forschungsstipendien-Programm für Postdocs |
|---|