DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD0601700
Title:
RESTRICTION TO CUT RULE AND THE CONSISTENCY OF A NATURAL DEDUCTION ARITHMETIC.
Descriptive Note:
Technical rept. no. 1,
Corporate Author:
CASE INST OF TECH CLEVELAND OHIO
Report Date:
1964-06-18
Pagination or Media Count:
24.0
Abstract:
In this paper, consistency of a system called S1 sub delta is proved by generalizing arguments of Schuttes paper Math. Ann. 122 369-389, 1957 to prove that proofs in that system need use cut only when one premise is an induction axiom. Consistency follows quickly from this fact since it means that a quantifier-free theorem has a quantifier-free proof and, hence, a false prime formula like 0 1 is unprov able in the system under study. However, since this system uses a set of axioms which is productive a productive complement of a recursively enumerable set it is not a formal system in the usually accepted sense, and its metamathematics cannot be formalized in the more usual formal systems for arithmetic. Author
Distribution Statement:
APPROVED FOR PUBLIC RELEASE