Well-Ordering Principles in Proof Theory and Reverse Mathematics

Rathjen, M (2022) Well-Ordering Principles in Proof Theory and Reverse Mathematics. In: Ferreira, F, Kahle, R and Sommaruga, G, (eds.) Axiomatic Thinking II. Springer , pp. 89-127. ISBN 978-3-030-77798-2

Metadata

Item Type: Book Section
Authors/Creators:
  • Rathjen, M
Editors:
  • Ferreira, F
  • Kahle, R
  • Sommaruga, G
Copyright, Publisher and Additional Information:

© 2022 Springer Nature Switzerland AG. This is an author produced version of a book chapter published in Axiomatic Thinking II. Uploaded in accordance with the publisher's self-archiving policy.

Keywords: Infinite proof theory, Reverse mathematics, Ordinal analysis, Ordinal representation systems, Cut elimination, Dilators, ω-models, β-models
Dates:
  • Published: 18 September 2022
  • Accepted: 11 January 2021
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: 25 Jan 2021 16:29
Last Modified: 18 Sep 2024 00:13
Status: Published
Publisher: Springer
Identification Number: 10.1007/978-3-030-77799-9_4
Open Archives Initiative ID (OAI ID):

Export

Statistics