Derivatives of normal functions in reverse mathematics

&
Annals of Pure and Applied Logic 172 (2):102890 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102890

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reverse mathematics of prime factorization of ordinals.Jeffry L. Hirst - 1999 - Archive for Mathematical Logic 38 (3):195-201.
Sequences of real functions on [0, 1] in constructive reverse mathematics.Hannes Diener & Iris Loeb - 2009 - Annals of Pure and Applied Logic 157 (1):50-61.
Comparing DNR and WWKL.Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp & Theodore A. Slaman - 2004 - Journal of Symbolic Logic 69 (4):1089-1104.
The modal logic of Reverse Mathematics.Carl Mummert, Alaeddine Saadaoui & Sean Sovine - 2015 - Archive for Mathematical Logic 54 (3-4):425-437.
Derivatives of normal functions and $$\omega $$ ω -models.Toshiyasu Arai - 2018 - Archive for Mathematical Logic 57 (5-6):649-664.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
Reverse mathematics and rank functions for directed graphs.Jeffry L. Hirst - 2000 - Archive for Mathematical Logic 39 (8):569-579.
Strict reverse mathematics draft.Harvey M. Friedman - unknown
Indecomposability of ℝ and ℝ \ {0} in Constructive Reverse Mathematics.Iris Loeb - 2008 - Logic Journal of the IGPL 16 (3):269-273.
The Dirac delta function in two settings of Reverse Mathematics.Sam Sanders & Keita Yokoyama - 2012 - Archive for Mathematical Logic 51 (1-2):99-121.
Set existence principles and closure conditions: unravelling the standard view of reverse mathematics.Benedict Eastaugh - 2019 - Philosophia Mathematica 27 (2):153-176.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Strict reverse mathematics.Harvey M. Friedman - unknown
Reverse-engineering Reverse Mathematics.Sam Sanders - 2013 - Annals of Pure and Applied Logic 164 (5):528-541.
Open questions in reverse mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.

Analytics

Added to PP
2020-09-26

Downloads
13 (#978,482)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Rathjen
University of Leeds

Citations of this work

Well ordering principles and -statements: A pilot study.Anton Freund - 2021 - Journal of Symbolic Logic 86 (2):709-745.
A note on ordinal exponentiation and derivatives of normal functions.Anton Freund - 2020 - Mathematical Logic Quarterly 66 (3):326-335.

Add more citations

References found in this work

Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
Computable aspects of the Bachmann–Howard principle.Anton Freund - 2019 - Journal of Mathematical Logic 20 (2):2050006.
The veblen functions for computability theorists.Alberto Marcone & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (2):575 - 602.
A note on ordinal exponentiation and derivatives of normal functions.Anton Freund - 2020 - Mathematical Logic Quarterly 66 (3):326-335.

View all 10 references / Add more references