Lars Kristiansen

Professor - Programming
Adjunct Professor - Department of Mathematics
Image of Lars Kristiansen
Norwegian version of this page
Mobile phone +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 (2021). On Representations of Irrational Numbers: A Degree Structure.
  • Kristiansen, Lars (2021). On subrecursive representation of irrational numbers: Contractors and Baire sequences.
  • Kristiansen, Lars (2021). Classic representations of irrational numbers seen from a computability and complexity-theoretic perspective.
  • Kristiansen, Lars (2021). Implicit characterisations of complexity classes by inherently reversible programming languages.
  • Kristiansen, Lars (2020). On Interpretability Between some Weak Essentially Undecidable Theories.
  • Kristiansen, Lars (2020). Reversible Programming Languages Capturing Complexity Classes.
  • Kristiansen, Lars (2019). On Subrecursive Representability of Irrational Numbers: Continued Fractions and Contraction maps.
  • Kristiansen, Lars (2019). Best Approximations, Contractions Maps and Continued Fractions.
  • Kristiansen, Lars (2018). Decidable and Undecidable Fragments of First-Order Concatenation Theory. .
  • Kristiansen, Lars (2018). On General Sum Approximations of Irrational Numbers. .

View all works in Cristin

Published Oct. 16, 2013 12:09 PM - Last modified Sep. 27, 2021 7:46 PM