| |
| 2007 | ||
|---|---|---|
| 3 | EE | Nobuyuki Sakamoto, Keita Yokoyama: The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. Arch. Math. Log. 46(5-6): 465-480 (2007) |
| 2004 | ||
| 2 | EE | Nobuyuki Sakamoto, Kazuyuki Tanaka: The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic. Arch. Math. Log. 43(3): 337-350 (2004) |
| 1 | EE | Nobuyuki Sakamoto, Takeshi Yamazaki: Uniform versions of some axioms of second order arithmetic. Math. Log. Q. 50(6): 587-593 (2004) |
| 1 | Kazuyuki Tanaka | [2] |
| 2 | Takeshi Yamazaki | [1] |
| 3 | Keita Yokoyama | [3] |