NORMAL FOMMS FOR DERIVATIONS IN ARATS AI7
Kazuma Ikeda · 1998
In thispaper, we shallconsider normal forms for deri- vationsin AI^, where AI^is a system introduced by Arai (cf.(4)) and itsconsistencyimplies theconsistency of Feferman's IDf (cf.(6)). We shallgivetwo normal form theorems forderivationsin AI^\One (Theorem 1)implies the consistency of AI^.The other(Theorem 2) implies the co-consistencyof AI7.