Geodesic
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 45-66

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

Zbl
Mots-clés : fragments of second order arithmetic, embeddability properties of finite trees, ordinal notations, Kruskal's theorem, ordinal analysis, formal independence results, proof theory 
Stephen G. Simpson. Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.. Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 45-66. http://geodesic.mathdoc.fr/item/AMLG_1985__25_138037/
@article{AMLG_1985__25_138037,
     author = {Stephen G. Simpson},
     title = {Nichtbeweisbarkeit von gewissen kombinatorischen {Eigenschaften} endlicher {B\"aume.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {45--66},
     year = {1985},
     volume = {25},
     zbl = {0598.03045},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1985__25_138037/}
}
TY  - JOUR
AU  - Stephen G. Simpson
TI  - Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1985
SP  - 45
EP  - 66
VL  - 25
UR  - http://geodesic.mathdoc.fr/item/AMLG_1985__25_138037/
ID  - AMLG_1985__25_138037
ER  - 
%0 Journal Article
%A Stephen G. Simpson
%T Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1985
%P 45-66
%V 25
%U http://geodesic.mathdoc.fr/item/AMLG_1985__25_138037/
%F AMLG_1985__25_138037