About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Loebl, Martin
Hercules and Hydra. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 1, pp. 85-95
MSC: 03B25, 03F30, 05C05, 05C99, 90D99, 91A99 | MR 937552 | Zbl 0666.05024
References:
[1] L. KIRBY J. PARIS: Accessible independence results for Peano Arithmetic. Bulletin of the London Math. Soc. 14 (1982). MR 0663480
[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
[3] J. NEŠETŘIL: Some non standard Ramsey-like applications. Theoret. Comp. Science 34 (1984), 3-15. MR 0774038
[4] S. FEFERMAN: Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society 104 (1962), 101-122. MR 0142453 | Zbl 0106.00602
Partner of
EuDML logo