Pages that link to "Item:Q2344719"
From MaRDI portal
The following pages link to \(\mathsf{WKL}_0\) and induction principles in model theory (Q2344719):
Displaying 6 items.
- On the strength of the finite intersection principle (Q375889) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Weak and strong versions of effective transfinite recursion (Q2683778) (← links)
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
