| Title:
|
Hercules and Hydra (English) |
| Author:
|
Loebl, Martin |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
29 |
| Issue:
|
1 |
| Year:
|
1988 |
| Pages:
|
85-95 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B25 |
| MSC:
|
03F30 |
| MSC:
|
05C05 |
| MSC:
|
05C99 |
| MSC:
|
90D99 |
| MSC:
|
91A99 |
| idZBL:
|
Zbl 0666.05024 |
| idMR:
|
MR937552 |
| . |
| Date available:
|
2008-06-05T21:31:46Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106600 |
| . |
| Reference:
|
[1] L. KIRBY J. PARIS: Accessible independence results for Peano Arithmetic.Bulletin of the London Math. Soc. 14 (1982). MR 0663480 |
| Reference:
|
[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 0891253 |
| Reference:
|
[3] J. NEŠETŘIL: Some non standard Ramsey-like applications.Theoret. Comp. Science 34 (1984), 3-15. MR 0774038 |
| Reference:
|
[4] S. FEFERMAN: Classifications of recursive functions by means of hierarchies.Transactions of the American Mathematical Society 104 (1962), 101-122. Zbl 0106.00602, MR 0142453 |
| . |
