Derivatives of normal functions in reverse mathematics (Q2216034)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Derivatives of normal functions in reverse mathematics |
scientific article |
Statements
Derivatives of normal functions in reverse mathematics (English)
0 references
15 December 2020
0 references
It is well known that continuous, strictly increasing -- or ``normal'' -- class functions on ordinals are in direct correspondence with closed and unbounded (club) classes of ordinals. The fixed point set of such a function is a club, and thus it is described by another such function, called the \textit{derivative} of the original one. In this paper, this normal function property of having a derivative is studied reverse-mathematically. To do that, normal functions are restricted first to (ordinary set-theoretic) functions defined on \(\aleph_1\) (making use of its regularity) and then to those which are describable by dilators (for which the derivative may be described in a more elegant way). Thus, in this restricted sense, the property is shown to be equivalent over \(\textbf{ACA}_0\) (this was later weakened to \(\textbf{RCA}_0\) in a separate paper of Anton Freund, the first author of this paper) to the principle of \(\Pi^1_1\)-bar induction (also called transfinite induction).
0 references
normal functions (on the ordinals)
0 references
derivatives
0 references
reverse mathematics
0 references
well-ordering principles
0 references
dilators
0 references
ordinal notations
0 references
bar induction
0 references
0 references