Pages that link to "Item:Q2111115"
From MaRDI portal
The following pages link to A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115):
Displaying 5 items.
- The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
- Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\) (Q938231) (← links)
- Equivalence between Wadge and Lipschitz determinacy (Q1408857) (← links)
- Some conservation results on weak König's lemma (Q1849864) (← links)
- On uniform weak König's lemma (Q5957854) (← links)