Author: Demuth, Osvald

Demuth, Osvald: О кoнcтpуктивнпм aналоге тeopeмы Дaнжуa-Янгa о пpoизводных чиcлax. (Russian) [The constructive analogue of the Denjoy-Young theorem on derived numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 1, pp. 111-126
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