Lars Hallnäs


Dr. phil. Stockholm University 1983 Sweden
Dissertation: On Normalization of Proofs in Set Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Dag Prawitz

Click here to see the students listed in chronological order.

Eriksson, Lars-HenrikKungliga Tekniska Högskolan1993
Fredholm, DanielStockholm University1995
Serafimovski, SvetozarStockholm University1995
Torgersson, OlofChalmers Tekniska Högskola and Göteborgs universitet2000

According to our current on-line database, Lars Hallnäs has 4 students and 4 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 20649 for the advisor ID.