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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.