Anton Setzer

MathSciNet


Ph.D. Ludwig-Maximilians-Universität München 1993 Germany
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 Sweden
Dissertation:
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Unknown

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Abdul Rauf, RoseSwansea University2007
Chuang, ChiSwansea University2011
Kanso, KarimSwansea University2012
Nordvall Forsberg, FredrikSwansea University2013

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.