Lars Kristiansen



My official homepages: (I) (II)

Publications -- a list of selected publications

Talks -- a list of selected talks


A Fairly New Book

Leary, C. and Kristiansen, L.: A Friendly Introduction to Mathematical Logic.

The book is available from a number of internet bookstores.

Read a review from the Mathematical Association of America here.

Recent Events in Oslo

Proof, Computation, Complexity 2015

Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann

Teaching

INF5840 - spring term 2016 (Computability Theory)

INF2080 - spring term 2016 (Logic and Computations)

MAT-INF3600 - autumn term 2016 (Mathematical Logic)

Students

  • Sigurd Kittilsen (MSc Computer Science, current).
  • Andreas R. Askeland (MSc Computer Science 2015).
  • 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

    My 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.