安本 雅洋

*Forcing on Bounded Arithmetic II 

Journal of Symbolic Logic 63(3) 860-868 1998年9月  査読有り

*Forcing on Bounded Arithmetic 

Lecture Note in Logic 6 120-139 1996年  査読有り招待有り

*Arithmetically independent integers and values of rational funcitons 

Manuscripta Mathematica 85 1-10 1994年  査読有り

*Nonstandard Arithmetic and Hilbert Subsets 

Annals of Pure and Applied Logic 52 195-202 1991年  査読有り招待有り

Nonstandard Arithmetic of Iterated Polynomials 

Manuscripta Mathematica 66 227-235 1990年  査読有り

Algehraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem 

Journal of Symbolic Logic 53(2) 470-480 1988年  査読有り

Hilbert's Irreducibility Sequences and Nonstandard Arithmetic 

Journal of Number Theory 26 274-285 1987年  査読有り

Nonstandard Arithmetic of Polynomial rings 

Nagoya Mathematical Journal 105 33-37 1987年  査読有り

Nonstandard Arithmetic of function Fiesds over H-convex Subfields of ^*Q 

Journal fur die reine und angewandte Matimatik 342 1-11 1983年  査読有り

Classes of ZF models 

Journal of the Mathematical Society of Japan 32(4) 615-621 1980年  査読有り

Finitely Additine Measures on N 

Proceedings of Japan Academy 55(3) 81-84 1979年  査読有り

A Note on Some Ordered Ring 

Nagoya Mathematical Journal 70 167-172 1978年  査読有り