Lars Kristiansen

Professor - Programming
Adjunct Professor - Department of Mathematics
Image of Lars Kristiansen
Norwegian version of this page
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
Published Oct. 16, 2013 12:09 PM - Last modified Sep. 15, 2021 8:07 PM