Algebraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem. - Masahiro Yasumoto (J. Symb. Log., 1988)

Nonstandard Arithmetic of Hilbert Subsets. - Masahiro Yasumoto (Ann. Pure Appl. Log., 1991)

Forcing on Bounded Arithmetic II. - Gaisi Takeuti; Masahiro Yasumoto (J. Symb. Log., 1998)

Separations of first and second order theories in bounded arithmetic. - Masahiro Yasumoto (Arch. Math. Log., 2005)