Erik Palmgren
Ph.D. Uppsala Universitet 1991
Dissertation:
On Fixed Point Operators, Inductive Definitions and Universes in Martin-Löf's Type Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Viggo Stoltenberg-Hansen
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Granström, Johan | Uppsala Universitet | 2009 | |
| Hedin, Anton | Uppsala Universitet | 2011 | |
| Wilander, Olov | Uppsala Universitet | 2011 | |
| Espíndola, Christian | Stockholm University | 2016 | |
| Gylterud, Håkon | Stockholm University | 2017 | |
| Emmenegger, Jacopo | Stockholm University | 2019 |
According to our current on-line database, Erik Palmgren has 6 students and 6 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 105428 for the advisor ID.