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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Emmenegger, Jacopo | Stockholm University | 2019 | |
| Espíndola, Christian | Stockholm University | 2016 | |
| Granström, Johan | Uppsala Universitet | 2009 | |
| Gylterud, Håkon | Stockholm University | 2017 | |
| Hedin, Anton | Uppsala Universitet | 2011 | |
| Wilander, Olov | Uppsala Universitet | 2011 |
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.