Pages that link to "Item:Q2216034"
From MaRDI portal
The following pages link to Derivatives of normal functions in reverse mathematics (Q2216034):
Displaying 13 items.
- Differentiation of inverse functions in spaces without norm. (Q1337922) (← links)
- Patterns of resemblance and Bachmann-Howard fixed points (Q2064043) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Calculating Higher Derivatives of Inverses (Q2757506) (← links)
- Giving reverse differentiation a helping hand<sup>∗</sup> (Q4378112) (← links)
- From Kruskal’s theorem to Friedman’s gap condition (Q4988429) (← links)
- Boundedness theorems for flowers and sharps (Q5086943) (← links)
- PREDICATIVE COLLAPSING PRINCIPLES (Q5107241) (← links)
- HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS? (Q5148106) (← links)
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- A note on ordinal exponentiation and derivatives of normal functions (Q6096326) (← links)