Program:
29.08.2019: Herman Ruge Jervell
05.09.2019: Herman Ruge Jervell/Dag Normann
12.09.2019: Juvenal Murwanashyaka
19.09.2019: Juvenal Murwanashyaka
26.09.2019: Laura Crosilla: Predicativity: some history, some problems.
03.10.2019: Lars Kristiansen
10.19.2019: Lars Kristiansen
17.10.2019: Canceled
24.10.2019: Dag Normann: On the project with Sam Sanders
31.10.2019: Normann/Kristiansen Informal discussion of complexity issues
07.11.2019: Øystein Linnebo
14.11.2019: Dag Normann Borel decides what are well orderings
21.11.2019: Sam Roberts
28.11.2019: Øystein Linnebo
Anyone interested in being on the seminar e-mail list, contact Dag Normann