Open AccessBook
Proof Theory
About:
The article was published on 1975-01-01 and is currently open access. It has received 770 citations till now. The article focuses on the topics: Proof theory & Gentzen's consistency proof.read more
Citations
More filters
Journal ArticleDOI
Harrington’s conservation theorem redone
TL;DR: This short paper presents a proof of Harrington’s result using a cut-elimination argument, showing that the second-order theory of arithmetic WKL0 is third-order conservative over the theory RCA0.
Journal ArticleDOI
Abstract deduction and inferential models for type theory
TL;DR: The paper presents a constructive notion of model, that being able to capture relevant computational aspects is particularly suited for the applications of HOL to computer science, based on the introduction of new abstract deduction structures that express the action of the Comprehension Axiom in a Higher Order Logic proof.
Book ChapterDOI
Ackermannian Goodstein sequences of intermediate growth
TL;DR: Two new Goodstein processes for notations for natural numbers based on the Ackermann function are defined, obtaining new independence results for theories of second order arithmetic related to the existence of Turing jumps.
Journal ArticleDOI
About the Proof-Theoretic Ordinals of Weak Fixed Point Theories
Gerhard Jäger,Barbara Primo +1 more
TL;DR: This paper presents several proof-theoretic results concerning weak fixed point theories over second order number theory with arithmetic comprehension and full or restricted induction on the natural numbers.
Journal ArticleDOI
A note on ordinal exponentiation and derivatives of normal functions
TL;DR: The authors showed that the base theory of RCA can be weakened to RCA_0, and showed that every normal function has a derivative, provably in RCA-0.