Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Nies, André; Turetsky, Dan Coherent randomness tests and computing the \(K\)-trivial sets. (English) Zbl 1375.03049 J. Eur. Math. Soc. (JEMS) 18, No. 4, 773-812 (2016). Reviewer: Cristian S. Calude (Auckland) MSC: 03D32 03D25 PDF BibTeX XML Cite \textit{L. Bienvenu} et al., J. Eur. Math. Soc. (JEMS) 18, No. 4, 773--812 (2016; Zbl 1375.03049) Full Text: DOI
Kučera, Antonín; Nies, André; Porter, Christopher P. Demuth’s path to randomness. (English) Zbl 1348.03002 Bull. Symb. Log. 21, No. 3, 270-305 (2015). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03-03 03D32 03D78 03F60 01A60 PDF BibTeX XML Cite \textit{A. Kučera} et al., Bull. Symb. Log. 21, No. 3, 270--305 (2015; Zbl 1348.03002) Full Text: DOI arXiv
Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan Computuing \(K\)-trivial sets by incomplete random sets. (English) Zbl 1320.03074 Bull. Symb. Log. 20, No. 1, 80-90 (2014). Reviewer: Merlin Carl (Konstanz) MSC: 03D32 68Q30 03D25 PDF BibTeX XML Cite \textit{L. Bienvenu} et al., Bull. Symb. Log. 20, No. 1, 80--90 (2014; Zbl 1320.03074) Full Text: DOI
Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan Joining non-low c.e. sets with diagonally non-computable functions. (English) Zbl 1327.03033 J. Log. Comput. 23, No. 6, 1183-1194 (2013). MSC: 03D25 03D32 68Q30 PDF BibTeX XML Cite \textit{L. Bienvenu} et al., J. Log. Comput. 23, No. 6, 1183--1194 (2013; Zbl 1327.03033) Full Text: DOI
Kučera, Antonín; Nies, André Demuth’s path to randomness. (English) Zbl 1353.03047 Dinneen, Michael J. (ed.) et al., Computation, physics and beyond. International workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21–24, 2012. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-27653-8/pbk). Lecture Notes in Computer Science 7160, 159-173 (2012). MSC: 03D32 03-03 03D78 03F60 01A60 PDF BibTeX XML Cite \textit{A. Kučera} and \textit{A. Nies}, Lect. Notes Comput. Sci. 7160, 159--173 (2012; Zbl 1353.03047) Full Text: DOI
Kučera, Antonín; Nies, André Demuth randomness and computational complexity. (English) Zbl 1223.03026 Ann. Pure Appl. Logic 162, No. 7, 504-513 (2011). Reviewer: Liang Yu (Nanjing) MSC: 03D32 68Q30 PDF BibTeX XML Cite \textit{A. Kučera} and \textit{A. Nies}, Ann. Pure Appl. Logic 162, No. 7, 504--513 (2011; Zbl 1223.03026) Full Text: DOI
Kučera, Antonín; Slaman, Theodore A. Low upper bounds of ideals. (English) Zbl 1168.68021 J. Symb. Log. 74, No. 2, 517-534 (2009). MSC: 68Q30 03D15 PDF BibTeX XML Cite \textit{A. Kučera} and \textit{T. A. Slaman}, J. Symb. Log. 74, No. 2, 517--534 (2009; Zbl 1168.68021) Full Text: DOI
Kucera, Antonín; Slaman, Theodore A. Turing incomparability in Scott sets. (English) Zbl 1123.03039 Proc. Am. Math. Soc. 135, No. 11, 3723-3731 (2007). MSC: 03D28 68Q30 PDF BibTeX XML Cite \textit{A. Kucera} and \textit{T. A. Slaman}, Proc. Am. Math. Soc. 135, No. 11, 3723--3731 (2007; Zbl 1123.03039) Full Text: DOI arXiv
Kucera, Antonín; Slaman, T. Randomness and recursive enumerability. (English) Zbl 0992.68079 SIAM J. Comput. 31, No. 1, 199-211 (2001). MSC: 68Q30 03D15 PDF BibTeX XML Cite \textit{A. Kucera} and \textit{T. Slaman}, SIAM J. Comput. 31, No. 1, 199--211 (2001; Zbl 0992.68079) Full Text: DOI
Ambos-Spies, Klaus; Kučera, Antonín Randomness in computability theory. (English) Zbl 0962.03039 Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 1-14 (2000). MSC: 03D80 03D28 68Q30 PDF BibTeX XML Cite \textit{K. Ambos-Spies} and \textit{A. Kučera}, Contemp. Math. 257, 1--14 (2000; Zbl 0962.03039)
Kučera, Antonín; Terwijn, Sebastiaan A. Lowness for the class of random sets. (English) Zbl 0954.68080 J. Symb. Log. 64, No. 4, 1396-1402 (1999). Reviewer: Vladik Ya.Kreinovich (El Paso) MSC: 68Q30 PDF BibTeX XML Cite \textit{A. Kučera} and \textit{S. A. Terwijn}, J. Symb. Log. 64, No. 4, 1396--1402 (1999; Zbl 0954.68080) Full Text: DOI
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
Hájek, Petr; Kučera, Antonín On recursion theory in \(I\Sigma_ 1\). (English) Zbl 0703.03019 J. Symb. Log. 54, No. 2, 576-589 (1989). Reviewer: Li Xiang MSC: 03D25 03F30 PDF BibTeX XML Cite \textit{P. Hájek} and \textit{A. Kučera}, J. Symb. Log. 54, No. 2, 576--589 (1989; Zbl 0703.03019) Full Text: DOI
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)
Demuth, O.; Kučera, A. Remarks on 1-genericity, semigenericity and related concepts. (English) Zbl 0655.03029 Commentat. Math. Univ. Carol. 28, 85-94 (1987). Reviewer: C.T.Chong MSC: 03D25 03D30 PDF BibTeX XML Cite \textit{O. Demuth} and \textit{A. Kučera}, Commentat. Math. Univ. Carol. 28, 85--94 (1987; Zbl 0655.03029) Full Text: EuDML
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
Demuth, O.; Kucera, A. Remarks on constructive mathematical analysis. (English) Zbl 0437.03030 Logic colloquium ’78, Proc., Mons/Belgium 1978, Stud. Logic Found. Math. Vol. 97, 81-129 (1979). MSC: 03F65 26A39 26A45 26A15 26A42 26A24 PDF BibTeX XML
Kucera, A.; Kusner, B. A. Über den Typ eines rekursiven Isomorphismus gewisser Begriffe der konstruktiven Analysis. (Russian) Zbl 0398.03049 Commentat. Math. Univ. Carol. 19, 97-105 (1978). MSC: 03F60 PDF BibTeX XML Cite \textit{A. Kucera} and \textit{B. A. Kusner}, Commentat. Math. Univ. Carol. 19, 97--105 (1978; Zbl 0398.03049) Full Text: EuDML
Demuth, O.; Kryl, R.; Kucera, A. On application of the theory of functions partially recursive relative to number sets in constructive mathematics. (Russian) Zbl 0394.03054 Acta Univ. Carol., Math. Phys. 19, No. 1, 15-60 (1978). MSC: 03F60 03D30 03D60 03D55 PDF BibTeX XML Cite \textit{O. Demuth} et al., Acta Univ. Carol., Math. Phys. 19, No. 1, 15--60 (1978; Zbl 0394.03054) 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