| 2005 |
|---|
| 4 | EE | Masahiro Yasumoto:
Separations of first and second order theories in bounded arithmetic.
Arch. Math. Log. 44(6): 685-688 (2005) |
| 1998 |
|---|
| 3 | | Gaisi Takeuti,
Masahiro Yasumoto:
Forcing on Bounded Arithmetic II.
J. Symb. Log. 63(3): 860-868 (1998) |
| 1991 |
|---|
| 2 | | Masahiro Yasumoto:
Nonstandard Arithmetic of Hilbert Subsets.
Ann. Pure Appl. Logic 52(1-2): 195-202 (1991) |
| 1988 |
|---|
| 1 | | Masahiro Yasumoto:
Algebraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem.
J. Symb. Log. 53(2): 470-480 (1988) |
