Admissible extensions of subtheories of second order arithmetic

Jäger, G. orcid.org/0000-0003-3024-3030 and Rathjen, M. orcid.org/0000-0003-1699-4778 (2024) Admissible extensions of subtheories of second order arithmetic. Annals of Pure and Applied Logic, 175 (7). 103425. ISSN 0168-0072

Abstract

Metadata

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

© 2024 The Author(s). Published by Elsevier. This is an open access article under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited.

Keywords: Kripke-Platek set theory; Π11; comprehension; Infinite proof theory; Reverse mathematics; Ordinal analysis; Cut elimination
Dates:
  • Published: July 2024
  • Published (online): 8 April 2024
  • Accepted: 20 February 2024
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 20 May 2024 10:14
Last Modified: 20 May 2024 10:14
Status: Published
Publisher: Elsevier
Identification Number: 10.1016/j.apal.2024.103425
Open Archives Initiative ID (OAI ID):

Export

Statistics