On the arithmetical content of restricted forms of
comprehension choice and general uniform b oundedness
Ulrich Kohlenbach
y
BRICS
Department of Computer Science
University of Aarhus
Ny Munkegade Bldg
DK Aarhus C Denmark
kohlenb brics dk
Abstract
In this pap er the numerical strength of fragments of arithmetical comprehension choice and
general uniform b oundedness is studied systematically These principles are investigated relative