Author: Kučera, Antonín
- : A note on initial segments below $\utilde O'$. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 4, pp. 779-781
- : Remarks on 1-genericity, semigenericity and related concepts. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 1, pp. 85-94
- : On recursive measure of classes of recursive sets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 1, pp. 117-121
- : О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа. (Russian) [A type of recursive isomorphism of certain concepts of constructive analysis]. Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 1, pp. 97-105
- : Об 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
- : Достаточные условия нормируемости линейных операторов в конструктивной математике. (Russian) [Sufficient conditions for the normability of linear operators in constructive mathematics]. Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 2, pp. 377-399
- : Cлабая сходимость в конструктивной математике. (Russian) [Weak convergence in constructive mathematics]. Commentationes Mathematicae Universitatis Carolinae, vol. 11 (1970), issue 2, pp. 285-308
Search
Partner of
