The following pages link to A nonstandard counterpart of WWKL (Q645739):
Displaying 13 items.
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- Propagation of partial randomness (Q386647) (← links)
- Nonstandard arithmetic and recursive comprehension (Q636343) (← links)
- The Dirac delta function in two settings of reverse mathematics (Q661294) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Cone avoidance and randomness preservation (Q2344623) (← links)
- Non‐standard Analysis in WKL<sub>0</sub> (Q4351929) (← links)
- (Q5015363) (← links)
- THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE (Q5021932) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Nonstandard Arithmetic and Reverse Mathematics (Q5479570) (← links)