Journal of Symbolic Logic 85 (2):709-732 (2020)

In a recent paper by M. Rathjen and the present author it has been shown that the statement “every normal function has a derivative” is equivalent to $\Pi ^1_1$ -bar induction. The equivalence was proved over $\mathbf {ACA_0}$, for a suitable representation of normal functions in terms of dilators. In the present paper, we show that the statement “every normal function has at least one fixed point” is equivalent to $\Pi ^1_1$ -induction along the natural numbers.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2020.24
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,242
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Computable Aspects of the Bachmann–Howard Principle.Anton Freund - 2019 - Journal of Mathematical Logic 20 (2):2050006.
Reverse Mathematics and Ordinal Exponentiation.Jeffry L. Hirst - 1994 - Annals of Pure and Applied Logic 66 (1):1-18.

Add more references

Citations of this work BETA

Derivatives of Normal Functions in Reverse Mathematics.Anton Freund & Michael Rathjen - 2021 - Annals of Pure and Applied Logic 172 (2):102890.

Add more citations

Similar books and articles

Algebraically Complete Semirings and Greibach Normal Form.Zoltán Ésik & Hans Leiß - 2005 - Annals of Pure and Applied Logic 133 (1-3):173-203.
From Moral Fixed Points to Epistemic Fixed Points.Christos Kyriacou - forthcoming - In Christos Kyriacou & Robin McKenna (eds.), Metaepistemology: Realism & Antirealism. Basingstoke: Palgrave Macmillan.
Density and Baire Category in Recursive Topology.Iraj Kalantari & Larry Welch - 2004 - Mathematical Logic Quarterly 50 (45):381-391.
On Non-Wellfounded Sets as Fixed Points of Substitutions.Matti Pauna - 2001 - Notre Dame Journal of Formal Logic 42 (1):23-40.
Lattices of Fixed Points of Fuzzy Galois Connections.Radim Bělohlávek - 2001 - Mathematical Logic Quarterly 47 (1):111-116.
Quasi‐Completeness and Functions Without Fixed‐Points.Ilnur I. Batyrshin - 2006 - Mathematical Logic Quarterly 52 (6):595-601.
Definable Fixed Points in Modal and Temporal Logics—a Survey.Sergey Mardaev - 2007 - Journal of Applied Non-Classical Logics 17 (3):317-346.
An Intensional Fixed Point Theory Over First Order Arithmetic.Gerhard Jäger - 2004 - Annals of Pure and Applied Logic 128 (1-3):197-213.
Rank-initial embeddings of non-standard models of set theory.Paul Kindvall Gorbow - 2020 - Archive for Mathematical Logic 59 (5-6):517-563.
The Feynman Path Integrals and Everett's Universal Wave Function.D. Bar - 1998 - Foundations of Physics 28 (8):1383-1391.
On Normal Forms in Łukasiewicz Logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
The Dynamics of Holomorphic Maps Near Curves of Fixed Points.Filippo Bracci - 2003 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 2 (3):493-520.


Added to PP index

Total views
1 ( #1,466,370 of 2,419,525 )

Recent downloads (6 months)
1 ( #542,629 of 2,419,525 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes