Nobuyuki Sakamoto

According to our database, Nobuyuki Sakamoto authored at least 3 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

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

Nobuyuki Sakamoto, Keita Yokoyama

Arch. Math. Log., 2007

2004

Uniform versions of some axioms of second order arithmetic.

Nobuyuki Sakamoto, Takeshi Yamazaki

Math. Log. Q., 2004

The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic.

Nobuyuki Sakamoto, Kazuyuki Tanaka

Arch. Math. Log., 2004