My official homepages: (I) (II)
Publications -- a list of selected publications
Talks -- a list of selected talks
A New Book is AvailableLeary, C. and Kristiansen, L.: A Friendly Introduction to Mathematical Logic.
The book is available from a number of internet bookstores.
Recent Events in OsloProof, Computation, Complexity 2015
Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann
TeachingINF5840 - spring term 2016 (Computability Theory)
INF2080 - spring term 2016 (Logic and Computations)
MAT-INF3600 - autumn term 2015 (Mathematical Logic)
Barra's PhD thesis on small subrecursive classes is available here. The thesis also contains some stuff on ordinals and a problem of Skolem's.
MiscellaneousMy Erdös number is less or equal to 3. (Check the details.)
My coauthors: Stål Aanderaa, James Avery, Amir Ben-Amram, Mathias Barra, Mark Burgess, Neil Jones, Christopher Leary, Robert (Bob) Lubarsky, Bedeho M.W. Mender, Jean-Yves Moyen, Karl-Heinz Niggl, Hans Kristian Ruud, Jan-Christoph Schlage-Puchta, Paul Voda, Andreas Weiermann.