Previous |  Up |  Next


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:
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


Files Size Format View
CommentatMathUnivCarol_029-1988-1_9.pdf 900.3Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo