On the Arithmetical Content of Restricted Forms of Comprehension, Choice
and General Uniform Boundedness
Ulrich Kohlenbach August 1997 |
Abstract:In this paper the numerical strength of fragments of
arithmetical comprehension, choice and general uniform boundedness is studied
systematically. These principles are investigated relative to base systems
As corollaries we obtain new conservation results for fragments of analysis over fragments of arithmetic which strengthen known purely first-order conservation results
Available as PostScript, PDF, DVI. |