Pages that link to "Item:Q918549"

The following pages link to Weak comparability of well orderings and reverse mathematics (Q918549):

Displaying 19 items.

• On the strength of the finite intersection principle (Q375889) (← links)
• Unconventional algorithms: complementarity of axiomatics and construction (Q406192) (← links)
• The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
• Reverse mathematics and homeomorphic embeddings (Q1182482) (← links)
• Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484) (← links)
• Riesz representation theorem, Borel measures and subsystems of second- order arithmetic (Q1208086) (← links)
• Embeddings of countable closed sets and reverse mathematics (Q1313599) (← links)
• Reverse mathematics and ordinal exponentiation (Q1315456) (← links)
• Embeddings between well-orderings: computability-theoretic reductions (Q1987213) (← links)
• – <i>CA</i>₀ and order types of countable ordered groups (Q2732274) (← links)
• The Baire category theorem in weak subsystems of second-order arithmetic (Q3138013) (← links)
• Linear extensions of partial orders and reverse mathematics (Q3144869) (← links)
• 1995–1996 Winter Meeting of the Association for Symbolic Logic (Q4254568) (← links)
• Ordered Groups: A Case Study in Reverse Mathematics (Q4254643) (← links)
• Ordinal inequalities, transfinite induction, and reverse mathematics (Q4262583) (← links)
• The finite intersection principle and genericity (Q5360372) (← links)
• Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)
• (Q5711887) (← links)
• SEARCHING FOR AN ANALOGUE OF ATR₀ IN THE WEIHRAUCH LATTICE (Q5855746) (← links)