On Relating Theories: Proof-Theoretical Reduction

Rathjen, M and Toppel, M (2019) On Relating Theories: Proof-Theoretical Reduction. In: Centrone, S, Negri, S, Sarikaya, D and Schuster, PM, (eds.) Mathesis Universalis, Computability and Proof. Humboldt-Kolleg: Proof Theory as Mathesis Universalis, 24-28 Jul 2017, Loveno di Menaggio (Como), Italy. Springer , pp. 311-331. ISBN 978-3-030-20446-4

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
  • Toppel, M
Copyright, Publisher and Additional Information: © Springer Nature Switzerland AG 2019. This is an author produced version of a paper published in Mathesis Universalis, Computability and Proof. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Relative interpretability; Partial conservativity; Proof-theoretical reduction; Infinite proof theory; Ordinal analysis
Dates:
  • Published: 26 October 2019
  • Accepted: 10 June 2019
  • Published (online): 26 October 2019
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Funding Information:
FunderGrant number
John Templeton Foundation (US)60842
Depositing User: Symplectic Publications
Date Deposited: 13 Jun 2019 13:27
Last Modified: 15 Nov 2019 15:38
Status: Published
Publisher: Springer
Identification Number: https://doi.org/10.1007/978-3-030-20447-1_16

Download

Accepted Version


Embargoed until: 26 October 2020

Filename: Relating_Theories.pdf

Request a copy

Share / Export

Statistics