Geodesic
The recursive sets in certain monadic second order fragments of arithmetic.
Archiv für mathematische Logik und Grundlagenforschung, Tome 17 (1975), pp. 71-80

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Zbl 
Dirk Siefkes. The recursive sets in certain monadic second order fragments of arithmetic.. Archiv für mathematische Logik und Grundlagenforschung, Tome 17 (1975), pp. 71-80. http://geodesic.mathdoc.fr/item/AMLG_1975__17_137907/
@article{AMLG_1975__17_137907,
     author = {Dirk Siefkes},
     title = {The recursive sets in certain monadic second order fragments of arithmetic.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {71--80},
     year = {1975},
     volume = {17},
     zbl = {0325.02033},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1975__17_137907/}
}
TY  - JOUR
AU  - Dirk Siefkes
TI  - The recursive sets in certain monadic second order fragments of arithmetic.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1975
SP  - 71
EP  - 80
VL  - 17
UR  - http://geodesic.mathdoc.fr/item/AMLG_1975__17_137907/
ID  - AMLG_1975__17_137907
ER  - 
%0 Journal Article
%A Dirk Siefkes
%T The recursive sets in certain monadic second order fragments of arithmetic.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1975
%P 71-80
%V 17
%U http://geodesic.mathdoc.fr/item/AMLG_1975__17_137907/
%F AMLG_1975__17_137907