A nonstandard proof of the Jordan curve theorem

zbMath0938.54041arXivmath/9608204MaRDI QIDQ5918083

Kanovei, Vladimir, Reeken, Michael

Publication date: 21 May 2000

Published in: Real Analysis Exchange (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9608204

zbMATH Keywords

nonstandard analysisJordan curve theorem

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Nonstandard topology (54J05)

Related Items (1)

The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic

This page was built for publication: A nonstandard proof of the Jordan curve theorem