Abstract
We show that the Σ 1 1 \Sigma ^1_1 - and Σ 2 1 \Sigma ^1_2 -boundedness theorems extend to the category of continuous dilators. We then apply these results to conclude the corresponding theorems for the category of sharps of real numbers, thus establishing another connection between Proof Theory and Set Theory, and extending work of Girard-Normann [J. Symbolic Logic 57 (1992), pp. 659–676] and Kechris-Woodin [Ann. Pure Appl. Logic 52 (1991), pp. 93–97].
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have