Wolfgang Thomas
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 21317
Dissertation: Das Entscheidungsproblem für einige Erweiterungen der Nachfolge-Arithmetik
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Heinz-Dieter EbbinghausInstitution not recorded
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Thierry Cachat | Rheinisch-Westfälische Technische Hochschule Aachen | 2003 | 0 |
| Ingo Felscher | Not recorded | — | 0 |
| Wladimir Fridman | Not recorded | — | 0 |
| Florian Horn | Not recorded | — | 0 |
| Stephan Kreutzer | Rheinisch-Westfälische Technische Hochschule Aachen | 2002 | 7 |
| Martin Leucker | Rheinisch-Westfälische Technische Hochschule Aachen | 2002 | 1 |
| Christof Löding | Rheinisch-Westfälische Technische Hochschule Aachen | 2002 | 1 |
| Oliver Matz | Not recorded | — | 0 |
| Frank Georg Radmacher | Not recorded | — | 0 |
| Philipp Rohde | Rheinisch-Westfälische Technische Hochschule Aachen | 2005 | 0 |
| Jens Vöge | Rheinisch-Westfälische Technische Hochschule Aachen | 2000 | 0 |
| Thomas Wilke | Christian-Albrechts-Universität zu Kiel | 1994 | 5 |
| Stefan Wöhrle | Rheinisch-Westfälische Technische Hochschule Aachen | 2005 | 0 |