Lars Kristiansen

Professor - Programming
Professor II - Department of Mathematics
Image of Lars Kristiansen
Norwegian version of this page
Phone +47 22855897
Mobile phone +4792210527 +47 922 10 527
Username
Visiting address Niels Henrik Abels hus Moltke Moes vei 35 0851 OSLO
Postal address Postboks 1080 0316 OSLO
I recommend this textbook  on mathematical logic (see also  AIM ).  The book is available  here.

Below you find a list over my current research interests together with some selected papers.

Weak First-Order Theories (selected papers):

You can read more about  first-order theories in Wikipedia.  

Computable Analysis (selected papers):

You can read more about computable analysis in Wikipedia.

Subrecursive Degree Theory (selected papers):

You cannot read more about subrecursive degree theory in Wikipedia. But you can read about  the  Grzegorczyk hierarchy.  Subrecursive degrees are in some sense a generalization of the Grzegorczyk hierarchy.

Implicit Computational Complexity and related stuff (selected papers):

You can read more about implicit computational complexity in Wikipedia.

 

 
Tags: Mathematical Logic, Computability Theory, Complexity Theory, Computable Analysis

Publications

View all works in Cristin

  • Kristiansen, Lars (2020). Reversible Programming Languages Capturing Complexity Classes.
  • Kristiansen, Lars (2020). On Interpretability Between some Weak Essentially Undecidable Theories.
  • Kristiansen, Lars (2019). Best Approximations, Contractions Maps and Continued Fractions.
  • Kristiansen, Lars (2019). On Subrecursive Representability of Irrational Numbers: Continued Fractions and Contraction maps..
  • Kristiansen, Lars (2018). Decidable and Undecidable Fragments of First-Order Concatenation Theory..
  • Kristiansen, Lars (2018). First-order concatenation vs. first-order number theory..
  • Kristiansen, Lars (2018). On General Sum Approximations of Irrational Numbers..
  • Kristiansen, Lars (2018). On b-adic Representations of Irrational Numbers..

View all works in Cristin

Published Oct. 16, 2013 12:09 PM - Last modified July 10, 2020 8:31 AM