Title of article
Inductive definitions over a predicative arithmetic
Author/Authors
Wainer، نويسنده , , Stanley S. and Williams، نويسنده , , Richard S.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
14
From page
175
To page
188
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
Serial Year
2005
Journal title
Annals of Pure and Applied Logic
Record number
1443688
Link To Document