Unexpected news, and a great loss. One of my papers of which I am proudest, “Partial Horn logic and cartesian categories”, was a collaboration with Erik. He brought an immensely broad knowledge of logic across different foundational settings, including traditional logic, type theory, point-free topology and categories, and I learned much from an enjoyable visit to Uppsala. Later he made a deep and (to me) surprisingly robust connection between, on the one hand, my point-free work on the localic completion of metric spaces, and, on the other, Bishop’s constructive point-set treatment of the locally compact case. I had imagined that comparing the two approaches in any rigorous way would be next to impossible, but Erik found how to do it. Steve Vickers

On 16 Nov 2019, at 00:30, p.l.lumsdaine@gmail.com wrote:

 Dear colleagues,

Some very sad news — Erik Palmgren passed away unexpectedly this week at his home in Stockholm, after a short period of bad health.

Besides being insightful and influential in his own work, mostly on constructive mathematics and related topics in logic, Erik was also a generous and sensitive mentor to many students and younger colleagues, first in Uppsala and then in Stockholm. He will be deeply missed.

Personal website: http://staff.math.su.se/palmgren/

For any academic business regarding Erik, please contact either me <p.l.lumsdaine@math.su.se> or Jonas Bergström <jonasb@math.su.se> (head of the Stockholm University mathematics division).

Sadly, –Peter.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]