03 Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F99 None of the above, but in this section (33 articles)
- : On a unification problem related to Kreisel's conjecture. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 551-556
- : Provability in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 655-660
- : On computable real functions. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (240)-247
- : Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97
- : Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний. (Russian) [The algorithmic nonapproximability of the least upper bounds of constructive pseudosections]. Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 3, pp. 445-453
- : Об одном конструктивном аналоге функций $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
- : On convergence of the Fourier series of a constructive function of weakly bounded variation. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 4, pp. 755-769
- : О к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
- : “Disorder” in lattices of binumerations. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 2, pp. 221-244
- : О кoнcтpуктивнoм aнaлoгe однoй тeopemы Лузина. (Russian) [The constructive analogue of a certain theorem of Luzin]. Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 3, pp. 465-480
- : О представимости конструктивных функций, обладающих свойствами $(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
- : The lattices of numerations of theories containing Peano's arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 2, pp. 339-359
- : Why semisets?. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 397-420
- : О конструктивном аналоге 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
- : Линейные функционалы в конструктивных пространствах $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 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
Search
Partner of
