Lars Hallnäs
Dr. phil. Stockholm University 1983
Dissertation:
On Normalization of Proofs in Set Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Dag Prawitz
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Eriksson, Lars-Henrik | Kungliga Tekniska Högskolan (KTH) | 1993 | |
| Fredholm, Daniel | Stockholm University | 1995 | |
| Serafimovski, Svetozar | Stockholm University | 1995 | |
| Torgersson, Olof | Chalmers Tekniska Högskola and Göteborgs universitet | 2000 |
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.