Pages that link to "Item:Q1315456"
From MaRDI portal
The following pages link to Reverse mathematics and ordinal exponentiation (Q1315456):
Displaying 26 items.
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Derivatives of normal functions and \(\omega \)-models (Q1661685) (← links)
- On the indecomposability of \(\omega^n\) (Q1762361) (← links)
- Ackermann and Goodstein go functorial (Q2234350) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- Weak and strong versions of effective transfinite recursion (Q2683778) (← links)
- The Veblen functions for computability theorists (Q3011121) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- Ordered Groups: A Case Study in Reverse Mathematics (Q4254643) (← links)
- Derived sequences and reverse mathematics (Q4304782) (← links)
- Transfinite dependent choice and <i>ω</i>-model reflection (Q4779657) (← links)
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (Q5013904) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- PREDICATIVE COLLAPSING PRINCIPLES (Q5107241) (← links)
- Computable aspects of the Bachmann–Howard principle (Q5118047) (← links)
- HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS? (Q5148106) (← links)
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
- Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)
- INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS (Q5485751) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- A note on ordinal exponentiation and derivatives of normal functions (Q6096326) (← links)
- On the logical strength of the better quasi order with three elements (Q6135847) (← links)
- Functorial Fast-Growing Hierarchies (Q6148467) (← links)
