Lars Kristiansen



Publications -- a list of selected publications

Talks -- a list of selected talks


Teaching

INF2080 - spring term 2013 (Logic and Computations)

MAT-INF3600 - autumn term 2013 (Mathematical Logic)

Students

  • Bedeho Mender (MSc Computer Science 2009).
  • Mathias Barra (MSc Mathematics 2004, PhD Mathematics 2010).
    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.
  • Miscellaneous

    CCTT -- 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 3. (Check the details.)

    My coauthors: James Avery, Amir Ben-Amram, Mathias Barra, Mark Burgess, Neil Jones, Robert (Bob) Lubarsky, 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.