Erik Palmgren's homepage
As of September 1, 2011, I am professor of mathematical logic at Stockholm University. My previous affiliation was Uppsala University (except for shorter stints at Amsterdam, Gothenburg, Munich and Utrecht)
where I was senior lecturer since 1997 and promoted professor since 2003. I have supervised three PhDs at Uppsala (Johan Granström, Anton Hedin, Olov Wilander), two at Stockholm University (Christian Espindola, Håkon Robbestad Gylterud), and a number
of master theses.
CV
Research interests
Among my research interests are
 Type theory and its models. The relation between type theory and homotopy theory.
 Categorical logic and categorytheoretic foundations.
 Constructive mathematics, especially formal topology and reverse constructive mathematics.
 Nonstandard analysis, especially its constructive aspects.
 Philosophy of mathematics.
List of publications.
Recent preprint(s):
 On equality of objects in categories in constructive type theory , August 2017, 7 pp. arXiv:1708.01924
 A Constructive Examination of a Russellstyle
Ramified Type Theory , April 2017, 14 pp. arXiv:1704.06812

Categories with families, FOLDS and logic enriched type theory , May 2016, 99 pp.

The Grothendieck construction and models for dependent types , March 2013/May 2016,
23 pp.
 Named variables in categories with families December 2014.
 (with Olov Wilander) Constructing categories and setoids of setoids in type theory, March 2013. Revised version June 2014.

Yet another category of setoids with equality on objects, April 2013.
Revised version July 2014.
Research group
The logic group at the department consists at the moment of
 Per MartinLöf, professor (emeritus).
 Erik Palmgren, professor
 Roussanka Loukanova, PhD, researcher
 Henrik Forssell, PhD, researcher (25%)
 Peter LeFanu Lumsdaine, PhD, assistant professor
 Christian Espíndola, PhD, researcher
 Håkon Robbestad Gylterud, PhD, researcher
 Jacopo Emmenegger, PhD student
 Johan Lindberg, PhD student
 Anna Giulia Montaruli, PhD student
Former members of logic group (2012 )
 Erkki Luuk, guest researcher (Swedish Institute)
 Olov Wilander, postdoc
Regular courses in mathematical logic at the department
(partly outdated  see department course pages)
Irregular courses in mathematical logic and related subjects at the department
Notes and Slides
 Bishop's set theory Slides from TYPES Summer School 2005, Gothenburg.
 Slides from Tutorial at Fourth Workshop on Formal Topology, Ljubljana 15 19 June, 2012.
 Slides from Tutorial at Conference on Constructive Mathematics: Foundations and Practice, Nis, 24  28 June. 2013.
 Slides from The Logic Seminar in Stockholm 18 September 2013.
 Slides from workshop on Constructive Mathematics and Models of Type Theory. I.H.P. Paris 3 June 2014. (Corrected version.)
 Slides for workshop on Type Theory and Formalization of Mathematics, Chalmers/Göteborg University, 11 December 2014.
 Slides for a talk at the Workshop on Categorical Logical and Homotopy Type Theory, Leeds 2729 July 2016.
 Intuitionistic Ramified Type Theory,
Slides for a talk at the Logic Seminar, Department of Philosophy, Göteborg University, 24 February 2017.
Some links
March 1, 2017, Erik Palmgren. Email: palmgren [at] math (dot) su {dot} se