The PhD defence will be partially digital, in room 1259, Abels Utsikt - Niels Henrik Abels hus and streamed directly using Zoom. The host of the session will moderate the technicalities while the chair of the defence will moderate the disputation.
Ex auditorio questions: the chair of the defence will invite the audience to ask questions ex auditorio at the end of the defence. If you would like to ask a question, click 'Raise hand' and wait to be unmuted.
-
Join the disputation
The webinar opens for participation just before the disputation starts, participants who join early will be put in a waiting room.-
Submit request to access (available from 15th of August 1:15 pm until 29th of August 1:15 pm)
Trial lecture
29th of August, time: 10:15 am, room 1259 and Zoom.
-
Join the trial lecture
The webinar opens for participation just before the trial lecture starts, participants who join early will be put in a waiting room.
Main research findings
This thesis is motivated by the following questions: Does there exist a weakest theory for which Gödel's first incompleteness theorem holds? Does there exist a weakest structure for which the analogue of Hilbert's 10th problem has a negative solution? We explore these questions by investigating different foundations for basic finitary mathematics and use interpretability to compare them.
The concept of interpretation provides a framework for comparing theories by abstracting away arbitrariness in the choice of non-logical symbols and basic principles. If two theories are interpretable in one another, then they are of the same strength: inferences in one can be translated into inferences in the other.
Adjudication committee
- Professor Ali Enayat, University of Gothenburg
- Associate Professor Isabel Oitavem, Universidade Nova de Lisboa
- Professor Erlend Fornæss Wold, University of Oslo
Supervisors
- Professor II Lars Kristiansen, University of Oslo
- Professor Em. Dag Normann, University of Oslo
- Professor Tom Lindstrøm, University of Oslo
Chair of defence
Head of Department Geir Dahl
Host of the session
Professor Erlend Fornæss Wold, University of Oslo