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

Authors/Creators:
  • Rathjen, M
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:
  • Accepted: 11 January 2021
  • Published: 18 September 2022
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: 03 Aug 2023 13:47
Status: Published
Publisher: Springer
Identification Number: https://doi.org/10.1007/978-3-030-77799-9_4

Download

Accepted Version


Embargoed until: 18 September 2024

Filename: Axiomatisches Denken.pdf

Request a copy

file not available

Export

Statistics


CORE (COnnecting REpositories)