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

@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},
     publisher = {mathdoc},
     volume = {17},
     year = {1975},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1975__17_137907/
%F AMLG_1975__17_137907
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/