Standard and non-standard analysis in second order arithmetic
Cauchy integral theoremcomplex analysisJordan curvenonstandard mathematicsreal analysisreverse mathematicsRiemann mapping
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models in mathematics (03H05) Nonstandard models of arithmetic (03H15) Nonstandard arithmetic (number-theoretic aspects) (11U10) Nonstandard analysis (26E35) Non-Archimedean function theory (30G06)
- Second-order non-nonstandard analysis
- Reverse-engineering reverse mathematics
- Ekeland's variational principle in weak and strong systems of arithmetic
- Representations and the foundations of mathematics
- Fundamental notions of analysis in subsystems of second-order arithmetic
- Formalizing non-standard arguments in second-order arithmetic
- Non-standard analysis in ACA0 and Riemann mapping theorem
- Nonstandard second-order arithmetic and Riemann's mapping theorem
- THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
- On the uncountability of \(\mathbb{R}\)
- Nonstandard arithmetic and recursive comprehension
- On sequential theorems in reverse mathematics
This page was built for publication: Standard and non-standard analysis in second order arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3391904)
