Erik Palmgren's homepage
As of September 1, 2011, I am a chaired professor of Mathematical Logic at Stockholm University. My previous affiliation was Uppsala University where I was promoted professor since 2003.
CV
Research interests
Among my research interests are
- Type theory and its models. The relation between type theory and homotopy theory.
- Categorical logic and category-theoretic 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 Russell-style
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 Martin-Löf, professor (emeritus).
- Erik Palmgren, professor
- Henrik Forssell, PhD, affiliated researcher
- Peter LeFanu Lumsdaine, PhD, assistant professor
- Jacopo Emmenegger, PhD student
- Johan Lindberg, PhD student
- Anna Giulia Montaruli, PhD student
- Associated researchers:
- Roussanka Loukanova, PhD, associated researcher
- Christian Espíndola, PhD, associated researcher
- Håkon Robbestad Gylterud, PhD, associated researcher
Former members of logic group (2012 -)
- Erkki Luuk, guest researcher (Swedish Institute)
- Olov Wilander, postdoc
Supervised PhD-students
- Jonas Eliasson until "Filosofie Licentiat" 2001. He continued to PhD with Steve Awodey and Viggo Stoltenberg as advisors.
- Johan Granström, PhD 2009 (joint with Per Martin-Löf)
- Anton Hedin, PhD 2011.
- Olov Wilander, PhD 2011.
- Christian Espindola, PhD 2016. (Henrik Forssell was assistant PhD-advisor)
- Håkon Robbestad Gylterud, PhD 2017. (Henrik Forssell was assistant PhD-advisor)
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 27-29 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
February 26, 2018, Erik Palmgren. Email: palmgren [at] math (dot) su {dot} se