A Note on the Ordinal Analysis of RCA0+WO(σ)

Carlucci, L, Mainardi, L and Rathjen, M (2019) A Note on the Ordinal Analysis of RCA0+WO(σ). In: Manea, F, Martin, B, Paulusma, D and Primiero, G, (eds.) Lecture Notes in Computer Science. Computability in Europe 2019: Computing with Foresight and Industry, 15-19 Jul 2019, Durham, UK. Springer , Cham, Switzerland , pp. 144-155. ISBN 978-3-030-22995-5

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Carlucci, L
  • Mainardi, L
  • Rathjen, M
Editors:
  • Manea, F
  • Martin, B
  • Paulusma, D
  • Primiero, G
Copyright, Publisher and Additional Information:

© 2019, Springer Nature Switzerland AG. This is an author produced version of a conference paper published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.

Dates:
  • Published: 19 June 2019
  • Published (online): 19 June 2019
  • Accepted: 15 March 2019
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:
Funder
Grant number
John Templeton Foundation (US)
60842
Depositing User: Symplectic Publications
Date Deposited: 13 Jun 2019 15:32
Last Modified: 28 Sep 2022 03:15
Status: Published
Publisher: Springer
Identification Number: 10.1007/978-3-030-22996-2_13
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)