[1] ЦЕЙТИН Г. С:
Алгорифмические операторы в конструктивных метрических пространствах. Труды Матем. инст. им. В. А. Стеклова 67 (1962), 295-361.
MR 0152426 |
Zbl 1005.68507
[2] ДЕМУТ О., КРЫЛ Р., КУЧЕРА А.:
Об испольвовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике. Асta Univ. Carolinae, Маth. et Physica 19 (1978), 15-60.
MR 0509638 |
Zbl 1130.91322
[3] ДЕМУТ О.:
Некоторые вопросы теории конструктивных функций действительной переменной. Асta Univ. Carolinae, Маth. et Physica 19 (1978), 61-96.
MR 0509639 |
Zbl 1130.91322
[4] ДЕМУТ O.:
Об измеримости множеств по Лебегу в конструктивной математике. Comment. Univ. Math. Carolinae 10 (1969), 463-492.
MR 0259055 |
Zbl 1149.62317
[5] ДЕМУТ O.:
Об одном конструктивном аналоге функций аг-го класса Вера % . Comment. Univ. Math. Carolinae 18 (1977), 231-245.
MR 0465813 |
Zbl 1170.01341
[6] ДЕМУТ О.:
О конструктивных аналогах обобщенно абсолютно непрерывных функций и функций обобщенной ограниченной вариации. Comment. Univ. Math. Carolinae 19 (1978), 471-487.
MR 0508955 |
Zbl 1130.91322
[7] ДЕМУТ О., ПОЛИВКА Й.: О представимости линейных функционалов в пространстве шифров равномерно непрерывных на сегменте $0\triangle1$ конструктивных функций. Comment. Univ. Math. Carolinae 20 (1979), 765-780.
[8] ДЕМУТ О.:
О конструктивном аналоге теоремы К. М. Гарга о проивводных числах. Comment. Univ. Math. Carolinae 21 (1980), 457-472.
MR 0590126 |
Zbl 1170.01312