Well-ordering principles, omega-models and Pi-1-1-comprehension

Rathjen, M and Thomson, IA (2020) Well-ordering principles, omega-models and Pi-1-1-comprehension. In: Kahle, R and Rathjen, M, (eds.) The Legacy of Kurt Schütte. Springer , pp. 171-215. ISBN 978-3-030-49423-0

Abstract

Metadata

Item Type: Book Section
Authors/Creators:
  • Rathjen, M
  • Thomson, IA
Keywords: Reverse mathematics, well ordering principles, Schutte deduction chains, countable coded ω-model, -comprehension, Ωn-rule, well-ordering proof
Dates:
  • Accepted: 6 December 2019
  • Published: 11 August 2020
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Funding Information:
FunderGrant number
John Templeton Foundation (US)60842
Depositing User: Symplectic Publications
Date Deposited: 07 Jan 2020 10:23
Last Modified: 04 Mar 2024 16:40
Status: Published
Publisher: Springer
Identification Number: https://doi.org/10.1007/978-3-030-49424-7_12

Download not available

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

Export

Statistics