(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE

Fiori-Caronea, M., Marcone, A., Shafer, P. orcid.org/0000-0001-5386-9218 et al. (1 more author) (2024) (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE. Journal of Symbolic Logic, 89 (1). pp. 262-307. ISSN: 0022-4812

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic. This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.

Keywords: computability theory; recursion theory; reverse mathematics; second-order arithmetic; Ramsey theory; partial orders
Dates:
  • Published (online): 29 December 2022
  • Published: March 2024
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds)
Date Deposited: 19 Jan 2026 16:38
Last Modified: 19 Jan 2026 16:38
Status: Published
Publisher: Cambridge University Press (CUP)
Identification Number: 10.1017/jsl.2022.92
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics