Kučera, Antonín On relative randomness. (English) Zbl 0788.68068 Ann. Pure Appl. Logic 63, No. 1, 61-67 (1993). Reviewer: V.Ya.Kreinovich (El Paso) MSC: 68Q30 03F60 03D05 03F65 PDF BibTeX XML Cite \textit{A. Kučera}, Ann. Pure Appl. Logic 63, No. 1, 61--67 (1993; Zbl 0788.68068) Full Text: DOI
Kučera, Antonin Randomness and generalizations of fixed point free functions. (English) Zbl 0705.03021 Recursion theory week, Proc. Conf., Oberwolfach/FRG 1989, Lect. Notes Math. 1432, 245-254 (1990). Reviewer: C.Calude MSC: 03D30 PDF BibTeX XML
Kučera, Antonín A note on initial segments below \(\underset\sim O'\). (English) Zbl 0693.03028 Commentat. Math. Univ. Carol. 30, No. 4, 779-781 (1989). MSC: 03D30 PDF BibTeX XML Cite \textit{A. Kučera}, Commentat. Math. Univ. Carol. 30, No. 4, 779--781 (1989; Zbl 0693.03028)
Kučera, Antonín On the use of diagonally nonrecursive functions. (English) Zbl 0683.03024 Logic colloq. ’87, Proc. Colloq., Granada/Spain 1987, Stud. Logic Found. Math. 129, 219-239 (1989). Reviewer: L.Harkleroad MSC: 03D30 03D25 PDF BibTeX XML
Kučera, Antonín On the role of \(\underset\sim 0'\) in recursion theory. (English) Zbl 0645.03041 Logic colloq. ’86, Proc. Colloq., Hull/U.K. 1986, Stud. Logic Found Math. 124, 133-141 (1988). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 03D30 PDF BibTeX XML
Kučera, Antonin A class of degrees of unsolvability for functions not possessing a fixed point. (Russian) Zbl 0711.03015 Prikl. Mat., Erevan 5, 85-90 (1987). Reviewer: R.Murawski MSC: 03D30 03D35 PDF BibTeX XML Cite \textit{A. Kučera}, Prikl. Mat., Erevan 5, 85--90 (1987; Zbl 0711.03015)
Kučera, Antonín An alternative, priority-free, solution to Post’s problem. (English) Zbl 0615.03033 Mathematical foundations of computer science, Proc. 12th Symp., Bratislava/Czech. 1986, Lect. Notes Comput. Sci. 233, 493-500 (1986). Reviewer: C.Calude MSC: 03D45 PDF BibTeX XML
Kučera, Antonín Measure, \(\Pi ^ 0_ 1\)-classes and complete extensions of PA. (English) Zbl 0622.03031 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 245-259 (1985). MSC: 03D30 03F30 PDF BibTeX XML
Kucera, A. On recursive measure of classes of recursive sets. (English) Zbl 0493.03035 Commentat. Math. Univ. Carol. 23, 117-121 (1982). MSC: 03F60 03D25 PDF BibTeX XML Cite \textit{A. Kucera}, Commentat. Math. Univ. Carol. 23, 117--121 (1982; Zbl 0493.03035) Full Text: EuDML
Kucera, A. Über die algorithmische Nichtapproximierbarkeit genauer oberer Schranken konstruktiver Pseudoschnitte. (Russian) Zbl 0367.02015 Commentat. Math. Univ. Carol. 18, 445-453 (1977). MSC: 03F99 03D25 PDF BibTeX XML Cite \textit{A. Kucera}, Commentat. Math. Univ. Carol. 18, 445--453 (1977; Zbl 0367.02015) Full Text: EuDML
Kucera, A. Lokal konvexe Topologien endlichdimensionaler konstruktiver Räume. (Russian) Zbl 0309.02031 Teor. Algorif. mat. Logika, 71-86 (1974). MSC: 03F99 54A05 PDF BibTeX XML
Kucera, Antonin Hinreichende Bedingungen der Normierbarkeit linearer Operatoren in der konstruktiven Mathematik. (Sufficient conditions for normability of linear operators in the constructive mathematics). (German) Zbl 0235.02028 Commentat. Math. Univ. Carol. 12, 377-399 (1971). MSC: 03F65 PDF BibTeX XML Cite \textit{A. Kucera}, Commentat. Math. Univ. Carol. 12, 377--399 (1971; Zbl 0235.02028) Full Text: EuDML
Kučera, Antonin Weak convergence in constructive mathematics. (Russian) Zbl 0223.02025 Commentat. Math. Univ. Carol. 11, 285-308 (1970). MSC: 03F65 PDF BibTeX XML Cite \textit{A. Kučera}, Commentat. Math. Univ. Carol. 11, 285--308 (1970; Zbl 0223.02025) Full Text: EuDML