Pages that link to "Item:Q4262583"
From MaRDI portal
The following pages link to Ordinal inequalities, transfinite induction, and reverse mathematics (Q4262583):
Displaying 7 items.
- Weak and strong versions of effective transfinite recursion (Q2683778) (← links)
- \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups (Q2732274) (← links)
- (Q4793023) (← links)
- HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS? (Q5148106) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- Hindman's theorem, ultrafilters, and reverse mathematics (Q5313381) (← links)
- A note on ordinal exponentiation and derivatives of normal functions (Q6096326) (← links)