Franklin, Johanna N. Y.; McNicholl, Timothy H.; Rute, Jason Algorithmic randomness and Fourier analysis. (English) Zbl 07074495 Theory Comput. Syst. 63, No. 3, 567-586 (2019). MSC: 03D32 PDF BibTeX XML Cite \textit{J. N. Y. Franklin} et al., Theory Comput. Syst. 63, No. 3, 567--586 (2019; Zbl 07074495) Full Text: DOI
Miller, Joseph S.; Rute, Jason Energy randomness. (English) Zbl 06976569 Isr. J. Math. 227, No. 1, 1-26 (2018). MSC: 03D32 31C15 PDF BibTeX XML Cite \textit{J. S. Miller} and \textit{J. Rute}, Isr. J. Math. 227, No. 1, 1--26 (2018; Zbl 06976569) Full Text: DOI arXiv
Rute, Jason Schnorr randomness for noncomputable measures. (English) Zbl 06820656 Inf. Comput. 258, 50-78 (2018). MSC: 03D32 68Q30 PDF BibTeX XML Cite \textit{J. Rute}, Inf. Comput. 258, 50--78 (2018; Zbl 06820656) Full Text: DOI arXiv
Rute, Jason Computable randomness and betting for computable probability spaces. (English) Zbl 1364.03064 Math. Log. Q. 62, No. 4-5, 335-366 (2016). Reviewer: Ludwig Staiger (Halle/Saale) MSC: 03D32 68Q30 60A99 PDF BibTeX XML Cite \textit{J. Rute}, Math. Log. Q. 62, No. 4--5, 335--366 (2016; Zbl 1364.03064) Full Text: DOI arXiv
Rute, Jason When does randomness come from randomness? (English) Zbl 1339.68127 Theor. Comput. Sci. 635, 35-50 (2016). MSC: 68Q30 03D32 PDF BibTeX XML Cite \textit{J. Rute}, Theor. Comput. Sci. 635, 35--50 (2016; Zbl 1339.68127) Full Text: DOI arXiv
Kjos-Hanssen, Bjørn; Nguyen, Paul Kim Long V.; Rute, Jason Algorithmic randomness for Doob’s martingale convergence theorem in continuous time. (English) Zbl 1325.03051 Log. Methods Comput. Sci. 10, No. 4, Paper No. 12, 35 p. (2014). MSC: 03D32 60J65 60G44 PDF BibTeX XML Cite \textit{B. Kjos-Hanssen} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 12, 35 p. (2014; Zbl 1325.03051) Full Text: DOI arXiv
Miyabe, K.; Rute, J. Van Lambalgen’s theorem for uniformly relative Schnorr and computable randomness. (English) Zbl 1364.03062 Downey, Rod (ed.) et al., Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15–20, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4449-26-7/hbk; 978-981-4449-28-1/ebook). 251-270 (2013). MSC: 03D32 PDF BibTeX XML Cite \textit{K. Miyabe} and \textit{J. Rute}, in: Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15--20, 2011. Hackensack, NJ: World Scientific. 251--270 (2013; Zbl 1364.03062) Full Text: DOI
Avigad, Jeremy; Dean, Edward T.; Rute, Jason A metastable dominated convergence theorem. (English) Zbl 1277.28003 J. Log. Anal. 4, Article 3, 19 p. (2012). MSC: 28A20 03F60 PDF BibTeX XML Cite \textit{J. Avigad} et al., J. Log. Anal. 4, Article 3, 19 p. (2012; Zbl 1277.28003) Full Text: DOI arXiv
Avigad, Jeremy; Dean, Edward T.; Rute, Jason Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. (English) Zbl 1259.03021 Ann. Pure Appl. Logic 163, No. 12, 1854-1864 (2012). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D32 03F60 PDF BibTeX XML Cite \textit{J. Avigad} et al., Ann. Pure Appl. Logic 163, No. 12, 1854--1864 (2012; Zbl 1259.03021) Full Text: DOI arXiv