Pages that link to "Item:Q2906572"

The following pages link to Reverse mathematics and well-ordering principles (Q2906572):

Displaying 24 items.

• Reverse mathematics and properties of finite character (Q435197) (← links)
• Degrees bounding principles and universal instances in reverse mathematics (Q490869) (← links)
• Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
• Reverse mathematics of prime factorization of ordinals (Q1127837) (← links)
• Reverse mathematics and ordinal exponentiation (Q1315456) (← links)
• Derivatives of normal functions and \(\omega \)-models (Q1661685) (← links)
• \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
• Proof-theoretic strengths of the well-ordering principles (Q2309489) (← links)
• Reverse mathematics of separably closed sets (Q2580957) (← links)
• On some properties of reverse Polish notation (Q2724015) (← links)
• Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
• The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
• (Q4302475) (← links)
• Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (Q5013904) (← links)
• Bishop-Style Constructive Reverse Mathematics (Q5024576) (← 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)
• (Q5711881) (← links)
• (Q5711891) (← 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)