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
A new reduction sequence for arithmetic
TL;DR: In this article, a shorter and clearer construction of reduction ¯d and assignment of ordinals is given, allowing one also to simplify the proof of decrease of the ordinals, which is the main type of result in proof theory having external applications.
Normalized naive set theory.
TL;DR: It is asserted that this naive set theory is in fact the best case scenario for realizing informal proof in a formal system, while possessing more expressiveness in a foundational system than has come before.
Journal ArticleDOI
Completeness of type assignment systems with intersection, union, and type quantifiers
TL;DR: This paper develops type assignment systems with intersection and union types, and type quantifiers, and shows that the known system for these types is not semantically complete, however, the following two hold for a certain class of typing statements, called stable statements.
Journal ArticleDOI
Solution of a Problem of Barendregt on Sensible lambda-Theories
TL;DR: A long-standing conjecture of H Barendregt states that the provable equations of H ω form Π 1 1 -complete set.
Posted Content
The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction
TL;DR: In this paper, the consistency of arithmetic without complete induction from a point of view of strong negation was proved using its embedding to the tableau system of constructive arithmetic with negation.