Proof-theoretic strengths of the well-ordering principles
Crossref DOI link: https://doi.org/10.1007/s00153-019-00689-4
Published Online: 2019-07-30
Published Print: 2020-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Arai, Toshiyasu
Text and Data Mining valid from 2019-07-30
Version of Record valid from 2019-07-30
Article History
Received: 1 January 2019
Accepted: 25 July 2019
First Online: 30 July 2019