Title of article :
Bootstrapping, part I
Author/Authors :
Boughattas، نويسنده , , S. and Ressayre، نويسنده , , J.-P.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Abstract :
We construct models of the integers, to yield: witnessing, independence and separation results for weak systems of bounded induction.
Keywords :
Counterfeiting integers , Nonstandard models , complexity classes , Weak arithmetics
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
