The Oslo seminar on mathematical logic will this term be in Room 1120 on Thursdays, from 12.15 - 14.00.
PROGRAM
05.09 12.15-Planning , 13.00 - 14.00 Lars Kristiansen
From a computability-theoretic point of view: The real numbers and their representations.
03.10 Georg Struth (University of Sheffield).
Dedekind quantaloids and their intuitionistic modal algebras.
10.10 Ethan Brauer
The Study of Relevance Within Classical Logic.
17.10 No seminar due to conflicting arrangement
31.10 Frode Bjørdal
07.11 Dag Normann Deciding when a set is empty - how hard is it?
14.11 Øystein Linnebo Predicativity as invariance: the case of set theory (joint work with Ethan Brauer)
21.11 Lars Kristiansen
28.11 Ane Maria Døhl The logic and legacy of Leibniz: from Llull to Łukasiewicz
The program may be subject to changes.
There is a mailing list providing detailed information about each lecture and changes in the program. Anyone wanting to be added to- or deleted from- this list may contact Dag Normann by email.