• DML-CZ Home

03D55 Hierarchies (12 articles)

• Švejdar, Vítězslav: The limit lemma in fragments of arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 44 (2003), issue 3, pp. 565-568
• Švejdar, Vítězslav: Arithmetical classification of the set of all provably recursive functions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 40 (1999), issue 4, pp. 631-634
• Goldstern, Martin: The complexity of uniform distribution. (English). Mathematica Slovaca, vol. 44 (1994), issue 5, pp. 491-500
• Sochor, A.: Complexity of the axioms of the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), issue 1, pp. 33-45
• Chen, Shutao; Wisła, Marek: Extreme compact operators from Orlicz spaces to $C(\Omega)$. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), issue 1, pp. 63-77
• Žák, Stanislav: A Turing machine oracle hierarchy. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 1, pp. 11-26
• Žák, Stanislav: A Turing machine oracle hierarchy. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 1, pp. 27-39
• Demuth, Osvald: Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной. (Russian) [The domains of definition of effective operators over general recursive functions and of constructive functions of a real variable]. Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 4, pp. 633-646
• Hájek, Petr: Automatic listing of important observational statements. III. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (95)-124
• Hájek, Petr: Automatic listing of important observational statements. I. (English). Kybernetika, vol. 9 (1973), issue 3, pp. (187)-205
• Hájek, Petr: Automatic listing of important observational statements. II. (English). Kybernetika, vol. 9 (1973), issue 4, pp. (251)-271
• Hájek, Petr: On interpretability in set theories. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 445-455