The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic.
Autor: | Sakamoto, Nobuyuki1 n-sakamoto@advanced-media.co.jp, Yokoyama, Keita2 sa4m28@math.tohoku.ac.jp |
---|---|
Zdroj: | Archive for Mathematical Logic. Jul2007, Vol. 46 Issue 5/6, p465-480. 16p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: |