Pages that link to "Item:Q2274030"
From MaRDI portal
The following pages link to \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030):
Displaying 15 items.
- Patterns of resemblance and Bachmann-Howard fixed points (Q2064043) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Derivatives of normal functions in reverse mathematics (Q2216034) (← links)
- From Kruskal’s theorem to Friedman’s gap condition (Q4988429) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- PREDICATIVE COLLAPSING PRINCIPLES (Q5107241) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← 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)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- Bachmann-Howard derivatives (Q6103503) (← links)
- Functorial Fast-Growing Hierarchies (Q6148467) (← links)
- The Π21$\Pi ^1_2$ consequences of a theory (Q6176438) (← links)
