The Oslo seminar on mathematical logic will this year take place in seminar room 1020 in the math. building.
The time is as before, Thursday 10.15 - 12.00.
Also this term we aim to combine physical lectures with Zoom-transfer. The week-to-week information, including Zoom invitations, is sent from an e-mail list administrated by Dag Normann. Send a message to Dag if you want to be added to/deleted from this list.
The program is not fixed, see the tentative program below. NS means that there will be No Seminar.
Tentative program:
14.09.23 Dag Normann, Program planning + Weird functionals of type 3.
21.09.23 NS
28.09.23 NS
05.10.23 NS
12.10.23 Lars Kristiansen, First-Order Concatenation Theory with Bounded Quantifiers.
19.10.23 Santiago Jockwich, Interpretations of ZF (joint work with Giorgio Venturi and Sourav Tarafder).
26.10.23 NS
02.11.23 Davide Sutto: Everything and More… in Layers: A Compact History of Stage Theories.
09.11.23 Juvenal Murwanashyaka: Hilbert's Tenth Problem for Term Algebras with a Substitution Operator.
16.11.23 Øystein Linnebo: Critical plural logic and set theory.
23.11.23 Frode Bjørdal (Zoom only):
30.11.23 Jacopo Berneri: Predicative Russell-Myhill and Ramified Type Theory.