Erik Palmgren

MathSciNet


Ph.D. Uppsala Universitet 1991 Sweden
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.

NameSchoolYearDescendants
Emmenegger, JacopoStockholm University2019
Espíndola, ChristianStockholm University2016
Granström, JohanUppsala Universitet2009
Gylterud, HåkonStockholm University2017
Hedin, AntonUppsala Universitet2011
Wilander, OlovUppsala Universitet2011

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.