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, P, (eds.) Mathesis Universalis, Computability and Proof. Springer Nature , pp. 311-331. ISBN 9783030204471



  • Rathjen, M
  • Toppel, M
Keywords: Relative interpretability; Partial conservativity; Proof-theoretical reduction; Infinite proof theory ; Ordinal analysis
  • Published: 25 October 2019
  • Published (online): 26 October 2019
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: 18 Sep 2020 15:21
Last Modified: 18 Sep 2020 15:21
Status: Published
Publisher: Springer Nature
Identification Number: https://doi.org/10.1007/978-3-030-20447-1_16

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export