Masahiro Yasumoto

According to our database, Masahiro Yasumoto authored at least 4 papers between 1988 and 2005.

Collaborative distances:

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

2005

Separations of first and second order theories in bounded arithmetic.

Masahiro Yasumoto

Arch. Math. Log., 2005

1998

Forcing on Bounded Arithmetic II.

Gaisi Takeuti, Masahiro Yasumoto

J. Symb. Log., 1998

1991

Nonstandard Arithmetic of Hilbert Subsets.

Masahiro Yasumoto

Ann. Pure Appl. Log., 1991

1988

Algebraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem.

Masahiro Yasumoto

J. Symb. Log., 1988