Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Switzerland |
|---|---|
| City | Bern |
| Institution | Universität Bern |
| Institute | Institut für Informatik und Angewandte Mathematik |
Profile
| Research fields | Fundamentals of Mathematics, Logics, Set Theory |
|---|---|
| Keywords | Pi^1_n-reflection, Proof-theory, metapredicativity, non-monotone inductive definitions, ordinal analysis |