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

Bulletin of Symbolic Logic 7 (1):75-77 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687830

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Ulrich Kohlenbach, On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. [REVIEW]Lev Beklemishev - 2001 - Bulletin of Symbolic Logic 7 (1):75-77.
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness.Ulrich Kohlenbach - 1998 - Annals of Pure and Applied Logic 95 (1-3):257-285.
Review: Ulrich Kohlenbach, Relative Constructivity. [REVIEW]Ulrich Berger - 2002 - Bulletin of Symbolic Logic 8 (3):436-437.
Ulrich Kohlenbach. Relative constructivity. The journal of symbolic logic, vol. 63 , pp. 1218–1238.Ulrich Berger - 2002 - Bulletin of Symbolic Logic 8 (3):436-437.
Review: Ulrich Kohlenbach, Mathematically Strong Subsystems of Analysis with Low Rate of Growth of Provably Recursive Functionals. [REVIEW]Ulrich Berger - 2001 - Bulletin of Symbolic Logic 7 (2):280-281.
Minimal Complementation Below Uniform Upper Bounds for the Arithmetical Degrees.Masahiro Kumabe - 1996 - Journal of Symbolic Logic 61 (3):1158-1192.
Minimal complementation below uniform upper Bounds for the arithmetical degrees.Masahiro Kumabe - 1996 - Journal of Symbolic Logic 61 (4):1158-1192.
The uniform boundedness theorem and a boundedness principle.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (8):1057-1061.
Rainbow Ramsey Theorem for triples is strictly weaker than the Arithmetical Comprehension Axiom.Wei Wang - 2013 - Journal of Symbolic Logic 78 (3):824-836.
Two papers by Ulrich Felgner on the history of mathematics.Review by: Steffen Lempp - 2014 - Bulletin of Symbolic Logic 20 (2):201-202,.

Analytics

Added to PP
2017-02-22

Downloads
7 (#1,412,480)

6 months
4 (#862,832)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references