Aguilera, JP, Freund, A, Rathjen, M orcid.org/0000-0003-1699-4778 et al. (1 more author) (2022) Boundedness theorems for flowers and sharps. Proceedings of the American Mathematical Society, 150 (9). pp. 3973-3988. ISSN 0002-9939
Abstract
We show that the Σ1/1- and Σ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].
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2021 American Mathematical Society. This is an author produced version of an article accepted for publication in Proceedings of the American Mathematical Society. Uploaded in accordance with the publisher's self-archiving policy. |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Funding Information: | Funder Grant number John Templeton Foundation (US) 60842 |
Depositing User: | Symplectic Publications |
Date Deposited: | 04 Oct 2021 15:33 |
Last Modified: | 18 Mar 2023 04:35 |
Status: | Published |
Publisher: | American Mathematical Society |
Identification Number: | 10.1090/proc/15859 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:178745 |