# Second order arithmetic and autonomous computability.

Sibirskij Matematicheskij Zhurnal (2003)

- Volume: 44, Issue: 2, page 303-310 (2003); translation in Sib. Math. J. 44
- ISSN: 0037-4474

## Access Full Article

top## How to cite

topGajlit, E. V.. "Second order arithmetic and autonomous computability.." Sibirskij Matematicheskij Zhurnal 44.2 (2003): 303-310 (2003); translation in Sib. Math. J. 44. <http://eudml.org/doc/50668>.

@article{Gajlit2003,

author = {Gajlit, E. V.},

journal = {Sibirskij Matematicheskij Zhurnal},

keywords = {autonomous computability; oracle; second-order arithmetic; iterated Kleene computability; autonomous numbering; set theory without power set axiom; models of set theory},

language = {eng},

number = {2},

pages = {303-310 (2003); translation in Sib. Math. J. 44},

publisher = {Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki},

title = {Second order arithmetic and autonomous computability.},

url = {http://eudml.org/doc/50668},

volume = {44},

year = {2003},

}

TY - JOUR

AU - Gajlit, E. V.

TI - Second order arithmetic and autonomous computability.

JO - Sibirskij Matematicheskij Zhurnal

PY - 2003

PB - Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki

VL - 44

IS - 2

SP - 303

EP - 310 (2003); translation in Sib. Math. J. 44

LA - eng

KW - autonomous computability; oracle; second-order arithmetic; iterated Kleene computability; autonomous numbering; set theory without power set axiom; models of set theory

UR - http://eudml.org/doc/50668

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.