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

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