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: |
|
Editors: |
|
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: |
|
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): | oai:eprints.whiterose.ac.uk:170275 |