The following pages link to On uniform weak König's lemma (Q5957854):
Displaying 13 items.
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- Finding paths through narrow and wide trees (Q3616357) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- Bounded modified realizability (Q5477639) (← links)
- Banach’s theorem in higher-order reverse mathematics (Q6062174) (← links)
