Pages that link to "Item:Q2367412"
From MaRDI portal
The following pages link to Periodic points and subsystems of second-order arithmetic (Q2367412):
Displaying 8 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)
- ON THE STRENGTH OF TWO RECURRENCE THEOREMS (Q2976336) (← links)
- The pointwise ergodic theorem in subsystems of second-order arithmetic (Q3426562) (← links)
- On multiplicatively dependent linear numeration systems, and periodic points (Q4800260) (← links)
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) (← links)