Nobuyuki Sakamoto

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Nobuyuki Sakamoto, Keita Yokoyama
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. Arch. Math. Log. 46 (5-6) (2007)
Nobuyuki Sakamoto, Takeshi Yamazaki
Uniform versions of some axioms of second order arithmetic. Math. Log. Q. 50 (6) (2004)
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) (2004)