Gajlit, E.V.. "Second order arithmetic and pulsating hierarchies.." Sibirskij Matematicheskij Zhurnal 43.1 (2002): 33-40 (2002); translation in Sib. Math. J. 43. <http://eudml.org/doc/49965>.
@article{Gajlit2002, author = {Gajlit, E.V.}, journal = {Sibirskij Matematicheskij Zhurnal}, keywords = {oracle computability; modelling classical analysis; second-order arithmetic}, language = {eng}, number = {1}, pages = {33-40 (2002); translation in Sib. Math. J. 43}, publisher = {Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki}, title = {Second order arithmetic and pulsating hierarchies.}, url = {http://eudml.org/doc/49965}, volume = {43}, year = {2002}, }
TY - JOUR AU - Gajlit, E.V. TI - Second order arithmetic and pulsating hierarchies. JO - Sibirskij Matematicheskij Zhurnal PY - 2002 PB - Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki VL - 43 IS - 1 SP - 33 EP - 40 (2002); translation in Sib. Math. J. 43 LA - eng KW - oracle computability; modelling classical analysis; second-order arithmetic UR - http://eudml.org/doc/49965 ER -