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: |
|
---|---|
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: | 03 Aug 2023 13:47 |
Status: | Published |
Publisher: | Springer |
Identification Number: | https://doi.org/10.1007/978-3-030-77799-9_4 |
Download
Filename: Axiomatisches Denken.pdf