• DML-CZ Home

03F65 Other constructive mathematics (19 articles)

• Mnif, Abdessalem; Amidou, Morou: Unimodular rows over Laurent polynomial rings. (English). Czechoslovak Mathematical Journal, vol. 72 (2022), issue 4, pp. 927-934
• 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
• Demuth, Osvald: 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
• Demuth, Osvald: 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
• Demuth, Osvald: Об 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
• Demuth, Osvald: О Борелевых типах некоторых классов арифметических действительных чисел. (Russian) [Borel types of some classes of arithmetical real numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 3, pp. 593-606
• Demuth, Osvald: О некоторых классах арифметических действительных чисел. (Russian) [On some classes of arithmetical real numbers]. Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 3, pp. 453-465
• Demuth, Osvald: О псевдодифференцируемости равномерно непрерывных конструктивных функций по функциям того же типа. (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
• Demuth, Osvald: Об одном обобщении конструктивного аналога теоремы К. М. Гарга. (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
• 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, O.: О конструктивном интеграле Перрона. (Russian) [On the constructive Perron integral]. Acta Universitatis Carolinae. Mathematica et Physica, vol. 21 (1980), issue 1, pp. 3-57
• 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
• Kučera, Antonín: Достаточные условия нормируемости линейных операторов в конструктивной математике. (Russian) [Sufficient conditions for the normability of linear operators in constructive mathematics]. Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 2, pp. 377-399
• Kučera, Antonín: Cлабая сходимость в конструктивной математике. (Russian) [Weak convergence in constructive mathematics]. Commentationes Mathematicae Universitatis Carolinae, vol. 11 (1970), issue 2, pp. 285-308