2 results
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 709-732
- Print publication:
- June 2020
-
- Article
- Export citation
-
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.
NEW CHARACTERIZATIONS OF THE MEROMORPHIC BESOV, Qp AND RELATED CLASSES
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 79 / Issue 1 / February 2009
- Published online by Cambridge University Press:
- 09 February 2009, pp. 49-58
- Print publication:
- February 2009
-
- Article
-
- You have access
- Export citation
