The Oslo seminar on mathematical logic will this term take place on Thursdays 10.15 - 12.00. The location will vary between meeting rooms in Georg Morgenstiernes hus (GM), a lecture room in Niels Henrik Abels hus (NHA) and Zoom only events.
The program is not yet fixed, but a tentative program is found below. The first meeting will be on March 6, when we first discuss details of the program and then open up for the science.
Tentative Program
06.03.25 GM652 Lars Kristiansen Real numbers and the Stern-Brocot tree.
20.03.25 NHA107, Mauro Di Nasso A notion of "numerosity" for infinite sets where the whole is larger than the part.
27.03.25 Zoom only, David Ross Iterated nonstandard universes and Ramsey cardinals.
03.04.25 GM452, No program
10.04.25 Zoom only, Frode Bjørdal
24.04.25 GM652, Øystein Linnebo/Ethan Bauer: Predicativity as invariance: the case of sets
08.05.25 GM452, Øystein Linnebo/Ethan Bauer: Predicativity as invariance: the case of sets
15.05.25 GM452, No program
22.05.25 GM452, Ethan Bauer: Relevance as Use in a Derivation
05.06.25 GM652, Ed Zalta: A Unified Approach to the Philosophy of Mathematics
Further details will be distributed via a mailing list. Contact Dag Normann if you want to be on this list.