Program
28.01.2016 - We discuss the program for the rest of the semester.
18.02.2016 - Lars Kristiansen - Subrecursive representations of irrational numbers.
25.02.2016 - Dag Normann - The Fan functional and Kleene computability: On the original proof by Bill Tait.
03.03.2016 - Herman Ruge Jervell - On advanced ordinal notation systems.
10.03.2016 - Henrik Forsell - TBA
17.03.2016 - Cancelled
07.04.2016 - Peter Fritz - TBA
14.04.2016 - Jervell/Aanderaa - Decision problems.
21.04.2016 - Stål Aanderaa
28.04.2016 - Dag Normann/Herman Ruge Jervell
12.05.2016 - Øystein Linnebo
19.05.2016 - TBA