Stockholms universitet
This page in English

Forskargrupp Matematisk logik

I matematisk logik studeras matematiska resonemang i sina olika exakta former. Forskargruppen i matematisk logik är aktiv inom flera delar av området, inklusive konstruktiv matematik, typteori och kategoriteoretisk logik, samt de filosofiska aspekterna av logik och matematik.

Gruppbeskrivning

Gruppmedlemmar

Gruppansvariga

Peter LeFanu Lumsdaine

Universitetslektor

Matematiska institutionen
08-16 14 66
p.l.lumsdaine@math.su.se
Se profilsida för Peter LeFanu Lumsdaine

Medlemmar

Axel Ljungström

Doktorand

Matematiska institutionen
axel.ljungstrom@math.su.se
Se profilsida för Axel Ljungström

Per Martin-Löf

Professor emeritus

Matematiska institutionen
pml@math.su.se
Se profilsida för Per Martin-Löf

Anders Mörtberg

Universitetslektor

Matematiska institutionen
anders.mortberg@math.su.se
Se profilsida för Anders Mörtberg

Errol Yuksel

Doktorand

Matematiska institutionen
errol.yuksel@math.su.se
Se profilsida för Errol Yuksel

Max Zeuner

Doktorand

Matematiska institutionen
zeuner@math.su.se
Se profilsida för Max Zeuner