Derivatives of normal functions in reverse mathematics

Freund, A and Rathjen, M (2021) Derivatives of normal functions in reverse mathematics. Annals of Pure and Applied Logic, 172 (2). 102890. ISSN 0168-0072

Abstract

Metadata

Authors/Creators:
  • Freund, A
  • Rathjen, M
Copyright, Publisher and Additional Information: © 2020, Elsevier B.V. All rights reserved. This is an author produced version of an article published in Annals of Pure and Applied Logic. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Normal functions (on the ordinals); Derivatives; Reverse mathematics; Well ordering principles / Dilators; Ordinal notations; Bar induction
Dates:
  • Published: February 2021
  • Accepted: 20 September 2020
  • Published (online): 24 September 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: 27 Oct 2020 15:09
Last Modified: 24 Sep 2021 00:38
Status: Published
Publisher: Elsevier
Identification Number: https://doi.org/10.1016/j.apal.2020.102890

Download

Share / Export

Statistics