Hölzl, Rupert; Merkle, Wolfgang; Miller, Joseph; Stephan, Frank; Yu, Liang Chaitin’s \(\Omega\) as a continuous function. (English) Zbl 1471.03068 J. Symb. Log. 85, No. 1, 486-510 (2020). Reviewer: Roman Murawski (Poznań) MSC: 03D32 68Q30 03D78 PDFBibTeX XMLCite \textit{R. Hölzl} et al., J. Symb. Log. 85, No. 1, 486--510 (2020; Zbl 1471.03068) Full Text: DOI
Hölzl, Rupert; Jain, Sanjay; Stephan, Frank Learning pattern languages over groups. (English) Zbl 1398.68265 Theor. Comput. Sci. 742, 66-81 (2018). MSC: 68Q32 20F10 68Q45 PDFBibTeX XMLCite \textit{R. Hölzl} et al., Theor. Comput. Sci. 742, 66--81 (2018; Zbl 1398.68265) Full Text: DOI
Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert; Pauly, Arno The Vitali covering theorem in the Weihrauch lattice. (English) Zbl 1485.03241 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 188-200 (2017). MSC: 03F35 03B30 03D78 03F60 28E15 PDFBibTeX XMLCite \textit{V. Brattka} et al., Lect. Notes Comput. Sci. 10010, 188--200 (2017; Zbl 1485.03241) Full Text: DOI arXiv Link
Hölzl, Rupert; Raghavan, Dilip; Stephan, Frank; Zhang, Jing Weakly represented families in reverse mathematics. (English) Zbl 1477.03030 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 160-187 (2017). MSC: 03B30 03E17 03F35 PDFBibTeX XMLCite \textit{R. Hölzl} et al., Lect. Notes Comput. Sci. 10010, 160--187 (2017; Zbl 1477.03030) Full Text: DOI
Hölzl, Rupert; Porter, Christopher P. Randomness for computable measures and initial segment complexity. (English) Zbl 1404.03039 Ann. Pure Appl. Logic 168, No. 4, 860-886 (2017). Reviewer: Cristian S. Calude (Auckland) MSC: 03D32 PDFBibTeX XMLCite \textit{R. Hölzl} and \textit{C. P. Porter}, Ann. Pure Appl. Logic 168, No. 4, 860--886 (2017; Zbl 1404.03039) Full Text: DOI arXiv
Hölzl, Rupert; Jain, Sanjay; Stephan, Frank Learning pattern languages over groups. (English) Zbl 1398.68264 Ortner, Ronald (ed.) et al., Algorithmic learning theory. 27th international conference, ALT 2016, Bari, Italy, October 19–21, 2016, Proceedings. Cham: Springer (ISBN 978-3-319-46378-0/pbk; 978-3-319-46379-7/ebook). Lecture Notes in Computer Science 9925. Lecture Notes in Artificial Intelligence, 189-203 (2016). MSC: 68Q32 20F10 68Q45 PDFBibTeX XMLCite \textit{R. Hölzl} et al., Lect. Notes Comput. Sci. 9925, 189--203 (2016; Zbl 1398.68264) Full Text: DOI
Hölzl, Rupert; Shafer, Paul Universality, optimality, and randomness deficiency. (English) Zbl 1386.03047 Ann. Pure Appl. Logic 166, No. 10, 1049-1069 (2015). MSC: 03D32 68Q30 03D30 PDFBibTeX XMLCite \textit{R. Hölzl} and \textit{P. Shafer}, Ann. Pure Appl. Logic 166, No. 10, 1049--1069 (2015; Zbl 1386.03047) Full Text: DOI arXiv
Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert Probabilistic computability and choice. (English) Zbl 1320.03071 Inf. Comput. 242, 249-286 (2015). MSC: 03D10 03D78 03F35 68Q05 68W20 PDFBibTeX XMLCite \textit{V. Brattka} et al., Inf. Comput. 242, 249--286 (2015; Zbl 1320.03071) Full Text: DOI arXiv
Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André Denjoy, Demuth and density. (English) Zbl 1338.03088 J. Math. Log. 14, No. 1, Article ID 1450004, 35 p. (2014). MSC: 03D78 03D32 PDFBibTeX XMLCite \textit{L. Bienvenu} et al., J. Math. Log. 14, No. 1, Article ID 1450004, 35 p. (2014; Zbl 1338.03088) Full Text: DOI arXiv