Pages that link to "Item:Q1032626"
From MaRDI portal
The following pages link to Reverse mathematics and well-ordering principles: a pilot study (Q1032626):
Displaying 21 items.
- Weak comparability of well orderings and reverse mathematics (Q918549) (← links)
- Reverse mathematics of prime factorization of ordinals (Q1127837) (← links)
- Derivatives of normal functions and \(\omega \)-models (Q1661685) (← links)
- Ackermann and Goodstein go functorial (Q2234350) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- Proof-theoretic strengths of the well-ordering principles (Q2309489) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- Reverse mathematics and well-ordering principles (Q2906572) (← links)
- The Veblen functions for computability theorists (Q3011121) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← 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)
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
- Reducing ω-model reflection to iterated syntactic reflection (Q6038474) (← links)
- What is effective transfinite recursion in reverse mathematics? (Q6047666) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- On the logical strength of the better quasi order with three elements (Q6135847) (← links)
- Functorial Fast-Growing Hierarchies (Q6148467) (← links)
