Pages that link to "Item:Q4351929"
From MaRDI portal
The following pages link to Non‐standard Analysis in WKL<sub>0</sub> (Q4351929):
Displaying 8 items.
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957) (← links)
- Formalizing non-standard arguments in second-order arithmetic (Q3066789) (← links)
- 11th Asian Logic Conference (Q3161632) (← links)
- Saturation and Σ<sub>2</sub>-transfer for ERNA (Q3399183) (← links)
- A non-standard construction of Haar measure and weak König's lemma (Q4953213) (← links)
- (Q5015363) (← links)
- Non-standard analysis for fractal calculus (Q6117994) (← links)