Uniform versions of some axioms of second order arithmetic.

Nobuyuki Sakamoto Takeshi Yamazaki Uniform versions of some axioms of second order arithmetic. 587-593 2004 50 Math. Log. Q. 6 http://dx.doi.org/10.1002/malq.200310122 db/journals/mlq/mlq50.html#SakamotoY04