Pages that link to "Item:Q2367412"
From MaRDI portal
The following pages link to Periodic points and subsystems of second-order arithmetic (Q2367412):
Displaying 5 items.
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- \(\mathsf{WKL}_0\) and induction principles in model theory (Q2344719) (← links)
- Fundamental notions of analysis in subsystems of second-order arithmetic (Q2368910) (← links)
- Weak and strong versions of effective transfinite recursion (Q2683778) (← links)
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) (← links)
