Pages that link to "Item:Q918549"
From MaRDI portal
The following pages link to Weak comparability of well orderings and reverse mathematics (Q918549):
Displaying 24 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)
- The metamathematics of scattered linear orderings (Q1106846) (← 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)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups (Q2732274) (← links)
- Reverse mathematics and well-ordering principles (Q2906572) (← 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)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Reverse mathematics and the equivalence of definitions for well and better quasi-orders (Q5311748) (← 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<sub>0</sub> IN THE WEIHRAUCH LATTICE (Q5855746) (← links)
