Author: Demuth, Osvald
- : Reducibilities of sets based on constructive functions of a real variable. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 1, pp. 143-156
- : Remarks on the structure of tt-degrees based on constructive measure theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 2, pp. 233-247
- : A notion of semigenericity. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 1, pp. 71-84
- : Remarks on 1-genericity, semigenericity and related concepts. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 1, pp. 85-94
- : 0 пceвдoдиффepeцируйemoctи пceвдоравномерно нeпpepывных кoнструктивных функций пo функцияm тoгo жe типa. (Russian) [On the pseudo-differentiability of pseudo-uniformly continuous constructive functions from functions of the same type]. Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 3, pp. 391-406
- : Об apифmeтичeckoй cлoжнocти диффеpeндиpoвaния в конструктивной математике. (Russian) [Arithmetic complexity of differentiation in constructive mathematics]. Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 2, pp. 301-316
- : О Борелевых типах некоторых классов арифметических действительных чисел. (Russian) [Borel types of some classes of arithmetical real numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 3, pp. 593-606
- : О некоторых классах арифметических действительных чисел. (Russian) [On some classes of arithmetical real numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 3, pp. 453-465
- : О псевдодифференцируемости равномерно непрерывных конструктивных функций по функциям того же типа. (Russian) [On pseudodifferentiability of uniformly continuous constructive functions with respect to functions of the same type]. Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 3, pp. 497-512
- : Об одном обобщении конструктивного аналога теоремы К. М. Гарга. (Russian) [A generalization of a constructive analogue of K. M. Garg's theorem]. Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 3, pp. 607-620
- : Ü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
- : О исевдодиференцируемости конструктивных функций на конструктивных действительных числах. (Russian) [Pseudodifferentiability of constructive functions on constructive real numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 3, pp. 489-505
- : О свойствах неопределённых конструктивннх интегралов Лебега-Стилтьеса. (Russian) [Properties of indefinite constructive Lebesgue-Stieltjes integrals]. Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 4, pp. 629-644
- : О конструктивных интегралах Данжуа. (Russian) [Constructive Denjoy integrals]. Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 2, pp. 213-227
- : Об использовании интеграла Римана-Стилтьеса в теории конструктивного интеграла Лебега и его обобщений. (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
- : О кон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
- : О псевдодифференцируемости равномерно непрерывных конструктивных функций на конструктивных действительных числах. (Russian) [The pseudodifferentiability of uniformly continuous constructive functions on constructive real numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 319-333
- : Об 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
- : Об одном конструктивном аналоге функций $n$-ого класса Бэра. (Russian) [A constructive analogue of the functions of the $n$-th Baire class]. Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 2, pp. 231-245
- : О к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
- : Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной. (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
- : О диффepeнциpуeмocти кoнcтpуктивныx функций cлaбo oгpaничeнной вapиaции нa пceвдочиcлax. (Russian) [The differentiability of constructive functions of weakly bounded variation on pseudo numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 3, pp. 583-599
- : О кoнcтpуктивныx пceвдочиcлax. (Russian) [Constructive pseudonumbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 2, pp. 315-331
- : О представимости конструктивных функций, обладающих свойствами $(S)$ и $(T_1)$ в виде суперпозиций. (Russian) [The representability of constructive functions possessing the properties $(S)$ and $T_1$ in the form of superpositions]. Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 1, pp. 49-64
- : О связи представимости конструктивной функции в виде суперпозиции двух абсолютно непрерывных функций и дифференцируемости этой функции. (Russian) [The connection between the representability of a constructive function in the form of a superposition of two absolutely continuous functions and the differentiability of this function]. Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 2, pp. 195-210
- : О конструктивном аналоге cвязи измepимocти множеств и функций пo Лeбeгу. (Russian) [The constructive analogue of the connection between the Lebesgue measurability of sets and of functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 377-396
- : О конструктивном аналоге свойства $(T_1)$. (Russian) [The constructive analogue of the property $(T_1)$]. Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 421-439
- : О конструктивных aнaлoгax cвойств $(N)$ и $(S)$. (Russian) [The constructive analogues of the properties $(N)$ and $(S)$]. Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 4, pp. 565-582
- : О пpeдcтавимocти paвномерно непрерывных конструктивных функций. (Russian) [The representability of uniformly continuous constructive functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 1, pp. 7-25
- : Достаточное условие представимости конструктивной функции в виде суммы двух суперпозиций абсолютно непрерывных функций. (Russian) [A sufficient condition for the representability of constructive functions in the form of the sum of two superpositions of absolutely continuous functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 2, pp. 265-282
- : Необходимое и достаточное условие представимости конструктивных функций в виде суперпозиции абсолютно непрерывных функций. (Russian) [A necessary and sufficient condition for the representability of constructive functions in the form of a superposition of absolutely continuous functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 2, pp. 227-251
- : Необходимое и достаточное условие представимости конструктивных функций в виде суммы сингулярной и абсолютно непрерывной функции. (Russian) [A necessary and sufficient condition for the representability of constructive functions in the form of the sum of a singular and an absolutely continuous function]. Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 3, pp. 587-610
- : О суперпозициях абсолютно непрерывных конструктивных функций. (Russian) [The superpositions of absolutely continuous constructive functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 3, pp. 423-451
- : Об одном условии дифференцируемости конструктивных функций ограниченной вариации. (Russian) [A certain condition for the differentiability of constructive functions of bounded variation]. Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 4, pp. 687-711
- : Необходимое и достаточное условие абсолютной непрерывности конструктивных функций. (Russian) [Necessary and sufficient conditions for the absolute continuity of constructive functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 11 (1970), issue 4, pp. 705-726
- : О представимости конструктивных функций слабо ограниченной вариации. (Russian) [The representability of constructive functions of weakly bounded variation]. Commentationes Mathematicae Universitatis Carolinae, vol. 11 (1970), issue 3, pp. 421-434
- : Об интегрируемости производных от конструктивных функций. (Russian) [The integrability of derivatives of constructive functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 11 (1970), issue 4, pp. 667-691
- : Тeoремы о среднем значении для конструктивного интеграла. (Russian) [Mean value theorems for the constructive Lebesgue integral]. Commentationes Mathematicae Universitatis Carolinae, vol. 11 (1970), issue 2, pp. 249-269
- : Заметка к работе: О теореме Фувини для интеграла Римана в конструктивной математике. (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
- : Линейные функционалы в конструктивных пространствах $L_r$. (Russian) [Linear functionals in the constructive spaces $L_r$]. Commentationes Mathematicae Universitatis Carolinae, vol. 10 (1969), issue 3, pp. 357-390
- : О дифференцируемости конструктивных функций. (Russian) [The differentiability of constructive functions]. Commentationes Mathematicae Universitatis Carolinae, vol. 10 (1969), issue 2, pp. 167-175
- : Об измеримости множеств по Лебегу в конструктивной математике. (Russian) [The Lebesgue measurability of sets in constructive mathematic]. Commentationes Mathematicae Universitatis Carolinae, vol. 10 (1969), issue 3, pp. 463-492
- : Пространства $L_r$ и $S$ в конструктивной математике. (Russian) [The spaces $L_n$ and $S$ in constructive mathematics]. Commentationes Mathematicae Universitatis Carolinae, vol. 10 (1969), issue 2, pp. 261-284
- : О теореме Фубини для интеграла Римана в конструктивной математике. (Russian) [Fubini's theorem for the Riemann integral in constructive mathematics.]. Commentationes Mathematicae Universitatis Carolinae, vol. 9 (1968), issue 4, pp. 677-686
- : Poznámka k dopravnímu problému. (Czech) [A remark to the transport problem]. Časopis pro pěstování matematiky, vol. 86 (1961), issue 1, pp. 103-110
Search
Partner of
