[З] ДЕМУТ О., КРЫЛ Р., КУЧЕРА А.:
Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике. Аcta Univ. Carolinae, Math. et Physica 19 (1978), 15-60.
MR 0509638 |
Zbl 1130.91322
[4] ДЕМУТ O.:
Некоторые вопросы теории конструктивных функций действительной переменной. Аcta Univ. Carolinae, Math. et Physica 19 (1978), 61-96.
MR 0509639 |
Zbl 1130.91322
[5] ДЕМУТ О., НЕМЕЧКОВА Л.:
О конструктивном аналоге свойства $(Т_1)$. Сomment. Math. Univ. Carolinae 14 (1973), 421-439.
MR 0409136 |
Zbl 1195.42016
[6] ДЕМУТ О.:
О конструктивных псевдочислах. Сomment. Math. Univ. Carolinae 16 (1975), 315-331.
MR 0381955 |
Zbl 1170.01354
[7] ДЕМУТ О.:
О дифференцируемости конструктивных функций слабо ограниченной вариации на псевдочислах. Сomment. Math. Univ. Carolinae 16 (1975), 583-599.
MR 0476442 |
Zbl 1170.01354
[8] ДЕМУТ О.:
О псевдодифференцируемости равномерно непрерывных конструктивных функций на конструктивных действительных числах. Сomment. Math. Univ. Carolinae 19 (1978), 319-333.
MR 0491079 |
Zbl 1130.91322
[9] ДЕМУТ О., ПОЛИВКА Й.: О представимости линейных функционалов в пространстве шифров равномерно непрерывных на сегменте $0\triangle1$ конструктивных функций. Сomment. Math. Univ. Carolinae 20 (1979), 765-780.