Second order arithmetic and pulsating hierarchies. Gajlit, E.V. — 2002 Sibirskij Matematicheskij Zhurnal