Title of article :
Inductive definitions over a predicative arithmetic
Author/Authors :
Wainer، نويسنده , , Stanley S. and Williams، نويسنده , , Richard S.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Abstract :
Girard’s maxim, that Peano Arithmetic is (best viewed as) a theory of one inductive definition, is re-examined in the light of a weak theory EA(I;O) formalising basic principles of Nelson’s predicative Arithmetic.
Keywords :
Provably recursive functions , Slow growing hierarchy , Predicative arithmetic , Inductive definitions , Omega rules
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
