Title: Model-theoretic studies on subsystems of second order arithmetic