Geodesic
Consistency proof without transfinite induction for a formal system for turing machines.
Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 157-164.

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

Mots-clés : Consistency, Induction, Formal System, Turing Machines, Primitive Recursive Arithmetic, Infinitary System, Cutelimination, Logical Complexity 
@article{AMLG_1978__19_137953,
     author = {Salvatore Caporaso},
     title = {Consistency proof without transfinite induction for a formal system for turing machines.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {157--164},
     publisher = {mathdoc},
     volume = {19},
     year = {1978},
     zbl = {0406.03070},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1978__19_137953/}
}
TY  - JOUR
AU  - Salvatore Caporaso
TI  - Consistency proof without transfinite induction for a formal system for turing machines.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1978
SP  - 157
EP  - 164
VL  - 19
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1978__19_137953/
ID  - AMLG_1978__19_137953
ER  - 
%0 Journal Article
%A Salvatore Caporaso
%T Consistency proof without transfinite induction for a formal system for turing machines.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1978
%P 157-164
%V 19
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1978__19_137953/
%F AMLG_1978__19_137953
Salvatore Caporaso. Consistency proof without transfinite induction for a formal system for turing machines.. Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 157-164. http://geodesic.mathdoc.fr/item/AMLG_1978__19_137953/