Standard and non-standard analysis in second order arithmetic /
Yokoyama, Keita
Standard and non-standard analysis in second order arithmetic / by Keita Yokoyama. - Sendai, Japan : Tohoku University, 2009. - iv, 130 p. - Tohoku mathematical publications No. 34 1343-9499 .
Thesis(doctoral)-Tohoku University, 2007
Includes bibliogr. references : (p. 127-130)
Mathematics
Arithmetic
Standard and non-standard analysis in second order arithmetic / by Keita Yokoyama. - Sendai, Japan : Tohoku University, 2009. - iv, 130 p. - Tohoku mathematical publications No. 34 1343-9499 .
Thesis(doctoral)-Tohoku University, 2007
Includes bibliogr. references : (p. 127-130)
Mathematics
Arithmetic