Lars Kristiansen
Publications -- a list of selected publications Talks -- a list of selected talks From May 2010 to August 2010 I am visiting the Department of Pure mathematics and computer algebra at University of Ghent. StudentsBarra's PhD thesis on small subrecursive classes is available here. The thesis also contains some stuff on ordinals and a problem of Skolem's. TeachingMAT-INF3600 - autumn term 2009 (Mathematical Logic)INF1800 - autumn term 2008 (Logic and Computability) WorkshopsDICE 2010 -- International workshop on developments in implicit computational complexity. Deadline December 7th, 2009.PCC '08 -- workshop in Oslo MiscellaneousCCTT -- research project funded by The Research Council of Norway.I am an active member of this research group: Logic and Computability in Oslo. My Erdös number is less or equal to 5. (Check the details.) My coauthors: James Avery, Amir Ben-Amram, Mathias Barra, Mark Burgess, Neil Jones, Bedeho M.W. Mender, Jean-Yves Moyen, Karl-Heinz Niggl, Jan-Christoph Schlage-Puchta, Paul Voda, Andreas Weiermann. You can download some of my papers here. |