Previous |  Up |  Next

Article

References:
[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
Partner of
EuDML logo