Model-theoretic studies on subsystems of second order arithmetic - Yamazaki, Takeshi (Tohoku mathematical publications ;, 2000)