Herman Ruge Jervell

• Jervell, Herman Ruge (2015). Climbing Mount ε0, In  Gentzen's Centenary.  Springer Publishing Company.  ISBN 978-3-319-10102-6.  Part III.  s 301 - 315 Show summary

  Gentzen showed in his Habilitation that transfinite induction up to any ordinal <ε 0 is provable in first order arithmetic—and made a constructive justification of how to reach any ordinal <ε 0 . In his analysis Gentzen used ordinals in Cantor normal form. We shall look at ordinals as given by finite trees and then see how the climbing up to ε 0 can be justified there with methods from first order arithmetic, and methods to use where we climb above it.

• Jervell, Herman Ruge (2009). Kantiansk anskuelse og høyere aritmetikk, I: Anita Leirfall & Thor Sandmel (red.),  Enhet i mangfold. Festskrift i anledning Johan Arnt Myrstads 60-årsdag.  Unipub forlag.  ISBN 9788230311790.  artikkel.  s 201 - 218
• Jervell, Herman Ruge (2006). Constructing ordinals, In Gerhard Heinzmann & Giuseppina Ronzitti (ed.),  Constructivism: Mathematics, Logic, Philosophy and Linguistics.  Éditions KIMÉ.  ISBN 2-84174-399-3.  Kapittel.  s 5 - 20
• Jervell, Herman Ruge (2005). Finite trees as ordinals, In S.Barry Cooper; Benedikt Löwe & Leen Torenvliet (ed.),  New Computational Paradigms First Conference on Computability in Europe, CiE 2005.  Springer.  ISBN 3-540-26179-6.  Kapittel.  s 211 - 220
• Jervell, Herman Ruge (2005). Finite trees as ordinals. Lecture Notes in Computer Science.  ISSN 0302-9743.  3526
• Jervell, Herman Ruge (2003). Appendix: Section 20.3 From a logical point of view, In Bernt Petter Stigum (ed.),  Econometrics and the Philosophy of Economics. Theory-Data Confrontations in Economics.  Princeton University Press.  ISBN 0-691-11300-9.  s 520 - 524

View all works in Cristin

• Jervell, Herman Ruge (2013). Modal logic. Logos Verlag Berlin.  ISBN 978-3-8325-3302-1.  103 s.
• Jervell, Herman Ruge (2013). Proof Theory. Logos Verlag Berlin.  ISBN 978-3-8325-3303-8.  129 s.
• Jervell, Herman Ruge (2012). Logic and computations. Logos Verlag Berlin.  ISBN 978-3-8325-3090-7.  130 s.
• Jervell, Herman Ruge (2004). Formal logic. A guided tour. Unipub forlag.  ISBN 82-7477-188-5.  194 s.

View all works in Cristin