This term, the seminar will take place in lecture room 126 in the mathematics building, Thursdays 10.15 - 12.00 Oslo time.
The room is on the ground floor (første etasje), at the end of the corridor to the right after the elevators.
We aim at a Zoom transfer of most talks, some may even be given via Zoom only.
The program may be subject to changes.
PROGRAM
02.02: Sara Negri, Faithful Modal Embedding: From Gödel to Labelled Calculi.
09.02: Dag Normann, First order versus higher order arithmetic as a basis for reverse mathematics I.
16.02: Dag Normann, First order versus higher order arithmetic as a basis for reverse mathematics II.
23.02: Dag Normann, First order versus higher order arithmetic as a basis for reverse mathematics III.
02.03: NP*
09.03: NP*
16.03: Neil Barton, Work in progress on the iterative conceptions of sets.
23.03: NP*
13.04: Lars Kristiansen, On representations of real numbers and the computational complexity of converting between such representations.
20.04: Juvenal Murwanashyaki, There are no minimal essentially undecidable theories.
27.04: Frode Bjørdal, Librationist cum Classical Theories of Sets.
04.05: Øystein Linnebo, Definiteness: between mathematical practice and philosophical analysis (joint work with Laura Crosilla).
11.05: Laura Crosilla, Constructive set theories.
25.05: Lars Kristiansen and Juvenal Murwanashyaki
01.06: Trung Tuyen Troung, How good can AI do simple logical reasoning and mathematics now? - An update
08.06: Rasmus Bakken
* No Program
Anyone who might like to receive information about the seminar, e.g. Zoom invitations, may contact Dag Normann by e-mail and ask to be put on the seminar mailing list.