Boundedness Theorems for Flowers and Sharps

Abstract. We show that the Sigma11 - and Sigma12 -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 and Kechris-Woodin