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

Personal Author(s):

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

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE