Hercules and Hydra
Loebl, Martin
Commentationes Mathematicae Universitatis Carolinae, Tome 029 (1988), p. 85-95 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1988-01-01
Classification:  03B25,  03F30,  05C05,  05C99,  90D99,  91A99 
@article{106600,
     author = {Martin Loebl},
     title = {Hercules and Hydra},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {029},
     year = {1988},
     pages = {85-95},
     zbl = {0666.05024},
     mrnumber = {937552},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106600}
}

Loebl, Martin. Hercules and Hydra. Commentationes Mathematicae Universitatis Carolinae, Tome 029 (1988) pp. 85-95. http://gdmltest.u-ga.fr/item/106600/

L. Kirby J. Paris Accessible independence results for Peano Arithmetic, Bulletin of the London Math. Soc. 14 (1982). (1982) | MR 0663480

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. (1987) | MR 0891253

J. Nešetřil Some non standard Ramsey-like applications, Theoret. Comp. Science 34 (1984), 3-15. (1984) | MR 0774038

S. Feferman Classifications of recursive functions by means of hierarchies, Transactions of the American Mathematical Society 104 (1962), 101-122. (1962) | MR 0142453 | Zbl 0106.00602