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