Anton Setzer
Ph.D. Ludwig-Maximilians-Universität München 1993
Dissertation:
Proof theoretical strength of Martin-Löf Type Theory with W-type and one universe
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Wilfried Buchholz
Docent Uppsala Universitet 2001
Dissertation:
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Unknown
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Abdul Rauf, Rose | Swansea University | 2007 | |
| Chuang, Chi | Swansea University | 2011 | |
| Kanso, Karim | Swansea University | 2012 | |
| Nordvall Forsberg, Fredrik | Swansea University | 2013 |
According to our current on-line database, Anton Setzer has 4 students and 4 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 50617 for the advisor ID.