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