Hercules and Hydra
Commentationes Mathematicae Universitatis Carolinae (1988)
- Volume: 029, Issue: 1, page 85-95
- ISSN: 0010-2628
Access Full Article
top
How to cite
topLoebl, Martin. "Hercules and Hydra." Commentationes Mathematicae Universitatis Carolinae 029.1 (1988): 85-95. <http://eudml.org/doc/17599>.
@article{Loebl1988,
author = {Loebl, Martin},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {game; rooted trees},
language = {eng},
number = {1},
pages = {85-95},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Hercules and Hydra},
url = {http://eudml.org/doc/17599},
volume = {029},
year = {1988},
}
TY - JOUR
AU - Loebl, Martin
TI - Hercules and Hydra
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1988
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 029
IS - 1
SP - 85
EP - 95
LA - eng
KW - game; rooted trees
UR - http://eudml.org/doc/17599
ER -
References
top- L. KIRBY J. PARIS, Accessible independence results for Peano Arithmetic, Bulletin of the London Math. Soc. 14 (1982). (1982) MR0663480
- 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) MR0891253
- J. NEŠETŘIL, Some non standard Ramsey-like applications, Theoret. Comp. Science 34 (1984), 3-15. (1984) MR0774038
- S. FEFERMAN, Classifications of recursive functions by means of hierarchies, Transactions of the American Mathematical Society 104 (1962), 101-122. (1962) Zbl0106.00602MR0142453
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.