Nonstandard Arithmetic of Polynomial Rings

Abstract

Let f(X, T1,…, Tm) be a polynomial over an algebraic number field k of finite degree. In his paper [2], T. Kojima provedTHEOREM. Let K = Q. if for every m integers t1, …, tm, there exists an r ∈ K such that f(r, t1, …, tm) =), then there exists a rational function g(T1,…,Tm) over Q such thatF(g(T1,…,Tm), T1,…,T)= 0.