Pages that link to "Item:Q3437038"
From MaRDI portal
The following pages link to Non-standard analysis in ACA0 and Riemann mapping theorem (Q3437038):
Displaying 6 items.
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- Formalizing non-standard arguments in second-order arithmetic (Q3066789) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- 10th Asian Logic Conference (Q3633210) (← links)
- Non‐standard Analysis in WKL<sub>0</sub> (Q4351929) (← links)
- (Q5015363) (← links)