On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness

Forfattere

  • Ulrich Kohlenbach

DOI:

https://doi.org/10.7146/brics.v4i23.18949

Resumé

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 Tn^omega in all finite types which are suited to formalize substantial parts of analysis but nevertheless have provably recursive function(al)s of low growth. We reduce the use of instances of these principles in Tn^omega -proofs of a large class of formulas to the use of instances of certain arithmetical principles thereby determining faithfully the arithmetical
content of the former. This is achieved using the method of elimination of Skolem functions for monotone formulas which was introduced by the author in a previous paper.
As corollaries we obtain new conservation results for fragments of
analysis over fragments of arithmetic which strengthen known purely first-order conservation results.

Downloads

Publiceret

1997-01-23

Citation/Eksport

Kohlenbach, U. (1997). On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. BRICS Report Series, 4(23). https://doi.org/10.7146/brics.v4i23.18949

Nummer

Nr. 23 (1997): RS-23 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness

Sektion

Artikler

Licens

Authors who publish with this journal agree to the following terms:

    1. Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.

    1. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.

  1. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).