• DML-CZ Home

03F60 Constructive and recursive analysis (17 articles)

• Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa: Almost locatedness in uniform spaces. (English). Czechoslovak Mathematical Journal, vol. 57 (2007), issue 1, pp. 1-12
• Kučera, Antonín: On recursive measure of classes of recursive sets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 1, pp. 117-121
• Demuth, Osvald: О некоторых классах арифметических действительных чисел. (Russian) [On some classes of arithmetical real numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 3, pp. 453-465
• Lukavcová, Milena: On computable real functions. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (240)-247
• Demuth, Osvald: Über ein konstruktives Analogon eines Satzes von K. M. Garg über Ableitungszahlen. (German) [A constructive analogue of K. M. Garg's theorem on derivative numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 3, pp. 457-472
• Demuth, Osvald: О исевдодиференцируемости конструктивных функций на конструктивных действительных числах. (Russian) [Pseudodifferentiability of constructive functions on constructive real numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 3, pp. 489-505
• Demuth, Osvald; Kmínek, V.: О свойствах неопределённых конструктивннх интегралов Лебега-Стилтьеса. (Russian) [Properties of indefinite constructive Lebesgue-Stieltjes integrals]. Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 4, pp. 629-644
• Demuth, Osvald: О конструктивных интегралах Данжуа. (Russian) [Constructive Denjoy integrals]. Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 2, pp. 213-227
• Demuth, O.; Polívka, J.: О представимости линейных функционалов в пространстве шифров равномерно непрерывных на сегменте $0\triangle 1$ конструктивных функций. (Russian) [The representation of linear functionals in the space of codes of constructive functions that are uniformly continuous on the segment $0\triangle 1$ of constructive functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 765-780
• Demuth, Osvald: Об использовании интеграла Римана-Стилтьеса в теории конструктивного интеграла Лебега и его обобщений. (Russian) [The use of the Riemann-Stieltjes integral in the theory of the constructive Lebesgue integral, and its generalizations]. Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 781-793
• Demuth, Osvald: О конcтpуктовных аналогах обобщено абсолютно непрерывных функций и функций обобщеной ограниченой вариации. (Russian) [Constructive analogues of generalized absolutely continuous functions of generalized bounded variation]. Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 3, pp. 471-487
• Demuth, Osvald: О псевдодифференцируемости равномерно непрерывных конструктивных функций на конструктивных действительных числах. (Russian) [The pseudodifferentiability of uniformly continuous constructive functions on constructive real numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 319-333
• Kučera, Antonín; Kušner, Boris A.: О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа. (Russian) [A type of recursive isomorphism of certain concepts of constructive analysis]. Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 1, pp. 97-105
• Demuth, O.; Kryl, R.; Kučera, A.: Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике. (Russian) [On the applications of the theory of partially-recursive functions with respect to the sets in constructive mathematics]. Acta Universitatis Carolinae. Mathematica et Physica, vol. 19 (1978), issue 1, pp. 15-60
• Demuth, Osvald: Об oднoм oбoбщeнии кoнcтpуктивнoгo интеграла Лeбeгa. (Russian) [A generalization of the constructive Lebesgue integral]. Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 3, pp. 499-514
• Demuth, Osvald: Заметка к работе: О теореме Фувини для интеграла Римана в конструктивной математике. (Russian) [Note on the paper: “Fubini's theorem for the Riemann integral in constructive mathematics”]. Commentationes Mathematicae Universitatis Carolinae, vol. 10 (1969), issue 1, pp. 115-120
• Demuth, Osvald: О дифференцируемости конструктивных функций. (Russian) [The differentiability of constructive functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 10 (1969), issue 2, pp. 167-175