Geodesic
Hercules and Hydra
Commentationes Mathematicae Universitatis Carolinae, Tome 29 (1988) no. 1, pp. 85-95
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B25, 03F30, 05C05, 05C99, 90D99, 91A99 
@article{CMUC_1988_29_1_a8,
     author = {Loebl, Martin},
     title = {Hercules and {Hydra}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {85--95},
     year = {1988},
     volume = {29},
     number = {1},
     mrnumber = {937552},
     zbl = {0666.05024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1988_29_1_a8/}
}
TY  - JOUR
AU  - Loebl, Martin
TI  - Hercules and Hydra
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1988
SP  - 85
EP  - 95
VL  - 29
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1988_29_1_a8/
LA  - en
ID  - CMUC_1988_29_1_a8
ER  - 
%0 Journal Article
%A Loebl, Martin
%T Hercules and Hydra
%J Commentationes Mathematicae Universitatis Carolinae
%D 1988
%P 85-95
%V 29
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1988_29_1_a8/
%G en
%F CMUC_1988_29_1_a8
Loebl, Martin. Hercules and Hydra. Commentationes Mathematicae Universitatis Carolinae, Tome 29 (1988) no. 1, pp. 85-95. http://geodesic.mathdoc.fr/item/CMUC_1988_29_1_a8/

[1] L. KIRBY J. PARIS: Accessible independence results for Peano Arithmetic. Bulletin of the London Math. Soc. 14 (1982). | MR

[2] M. LOEBL J. MATOUŠEK: On undecidability of the weakened Kruskal theorem. Contemporary Math., Proceedings Symposia AMS "Logic and Combinatorics", ed. S. Simpson, Amer. Math. Soc. (1987), 275-280. | MR

[3] J. NEŠETŘIL: Some non standard Ramsey-like applications. Theoret. Comp. Science 34 (1984), 3-15. | MR

[4] S. FEFERMAN: Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society 104 (1962), 101-122. | MR | Zbl