Sadly, Erik Palmgren passed away in November 2019. An obituary can be found here, and a conference in Erik’s memory will be held on May 7–8 2020: full details. Aside from this notice, Erik’s homepage is preserved here as he left it.

Erik Palmgren's homepage

I am a recruited professor of Mathematical Logic at Stockholm University. My previous affiliation was Uppsala University where I was promoted professor since 2003, and lecturer since 1997.

CV

Research interests

• 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 related to constructivism

List of publications.

Recent preprint(s):

• From type theory to setoids and back, September 2019, 30 pp.
• The Grothendieck construction and models for dependent types , March 2013/May 2016, 23 pp.
• Named variables in categories with families December 2014.
• Yet another category of setoids with equality on objects, April 2013. Revised version July 2014.

Research group

• Per Martin-Löf, professor (emeritus).
• Erik Palmgren, professor
• Henrik Forssell, PhD, affiliated researcher
• Peter LeFanu Lumsdaine, PhD, assistant professor in Mathematical Logic
• Anders Mörtberg, PhD, assistant professor in Computational Mathematics
• Guillaume Brunerie, Postdoc
• Jacopo Emmenegger, Postdoc Genova
• Daniel Alhsén, PhD student (main advisor : Valentin Goranko)
• Menno de Boer, PhD student (main advisor : Peter Lumsdaine)
• Johan Lindberg, PhD student
• Anna Giulia Montaruli, PhD student
• Associated researcher:
• Roussanka Loukanova, PhD, associated researcher

Former members of logic group (2012 - 2018)

• Erkki Luuk, guest researcher (Swedish Institute)
• Olov Wilander, postdoc -- now Google Zurich
• Christian Espíndola, Now postdoc, Brno University
• Håkon Robbestad Gylterud, Now postdoc, Bergen University

• 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)
• Jacopo Emmenegger, PhD 2019.

Slides of talks

• 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.
• A setoid model of extensional Martin-Löf type theory in Agda, Slides for a talk at the Stockholm Logic Seminar, January 30, 2019

Regular courses in mathematical logic at the department

• Logic (intermediate level) - a first course presenting the semantics and a deductive system of predicate logic, including the completeness theorem and its consequences.
• Logic II (advanced level) - a second tier logic course including basic model theory, theory of computation and Gödel's incompleteness theorems.
• Type Theory.
• Computability and Constructive Mathematics - gives a high level introduction to dedicability, computability and constructivity in mathematics.
• Set theory and Forcing (Advanced level)
• Metamathematics and Proof Theory, Spring 2015. (Advanced level/PhD-level.)

Irregular courses in mathematical logic and related subjects at the department

• Category Theory, Spring 2014.
• Infinity-Categories and Homotopy Type Theory, Fall 2014
• Logics for Linguistics, Fall 2014.
• Realizability
• Advanced topics in proof theory and foundations of mathematics, 2018/2019.

Some links

• The Stockholm Logic Seminar
• Philosophy of Language, Logic and Mathematics at the Philosophy Department of Stockholm University
• Theoretical Computer Science at the Royal Institute of Technology
• Stockholm Mathematics Center
• Scandinavian Logic Society