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 ordered by family name.

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

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.