Pages that link to "Item:Q884957"
From MaRDI portal
The following pages link to The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957):
Displayed 7 items.
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- Complex analysis in subsystems of second order arithmetic (Q866888) (← links)
- Tanaka's theorem revisited (Q2204369) (← links)
- ERNA and Friedman's Reverse Mathematics (Q3011124) (← links)
- Formalizing non-standard arguments in second-order arithmetic (Q3066789) (← links)
- Non-standard analysis in ACA0 and Riemann mapping theorem (Q3437038) (← links)
- The Brouwer invariance theorems in reverse mathematics (Q5135421) (← links)