The following pages link to (Q5711887):
Displaying 20 items.
- On the strength of the finite intersection principle (Q375889) (← links)
- Reverse mathematics and initial intervals (Q386152) (← links)
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- A theorem on refining division orders by the reverse lexicographic order (Q1099197) (← links)
- Reverse mathematics of prime factorization of ordinals (Q1127837) (← links)
- Reverse mathematics and ordinal exponentiation (Q1315456) (← links)
- \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups (Q2732274) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- Uniform versions of some axioms of second order arithmetic (Q3159415) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- REVERSE MATHEMATICS OF MF SPACES (Q3444857) (← links)
- Reverse Mathematics and Ordinal Multiplication (Q4224079) (← links)
- (Q4249731) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction (Q5294020) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- Comparing DNR and WWKL (Q5311768) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)