Edit Profile Miyabe, Kenshi Compute Distance To: Compute Author ID: miyabe.kenshi Published as: Miyabe, K.; Miyabe, Kenshi External Links: MGP · Wikidata Documents Indexed: 21 Publications since 2010 all top 5 Co-Authors 11 single-authored 5 Takemura, Akimichi 2 Kihara, Takayuki 2 Nies, André Otfrid 1 Rute, Jason 1 Sasai, Takeyuki 1 Sato, Ryosuke 1 Stephan, Frank 1 Zhang, Jing all top 5 Serials 4 Stochastic Processes and their Applications 4 Theory of Computing Systems 2 Mathematical Logic Quarterly (MLQ) 1 The Annals of Probability 1 Notre Dame Journal of Formal Logic 1 Journal of Logic and Computation 1 Archive for Mathematical Logic 1 The Bulletin of Symbolic Logic 1 Logic Journal of the IGPL 1 Journal of Logic and Analysis 1 Computability all top 5 Fields 14 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) 6 Probability theory and stochastic processes (60-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Real functions (26-XX) 1 Dynamical systems and ergodic theory (37-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 16 Publications have been cited 57 times in 35 Documents Cited by ▼ Year ▼ Truth-table Schnorr randomness and truth-table reducible randomness. Zbl 1220.03043Miyabe, Kenshi 9 2011 Van Lambalgen’s theorem for uniformly relative Schnorr and computable randomness. Zbl 1364.03062Miyabe, K.; Rute, J. 6 2013 \(L^1\)-computability, layerwise computability and Solovay reducibility. Zbl 1315.03073Miyabe, Kenshi 6 2013 Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079Miyabe, Kenshi; Nies, André; Zhang, Jing 5 2016 Convergence of random series and the rate of convergence of the strong law of large numbers in game-theoretic probability. Zbl 1230.60030Miyabe, Kenshi; Takemura, Akimichi 5 2012 Uniform Kurtz randomness. Zbl 1338.03082Kihara, Takayuki; Miyabe, Kenshi 4 2014 Schnorr triviality and its equivalent notions. Zbl 1336.03048Miyabe, Kenshi 3 2015 Unified characterizations of lowness properties via Kolmogorov complexity. Zbl 1338.03083Kihara, Takayuki; Miyabe, Kenshi 3 2015 The law of the iterated logarithm in game-theoretic probability with quadratic and stronger hedges. Zbl 1290.60036Miyabe, Kenshi; Takemura, Akimichi 3 2013 An extension of van Lambalgen’s theorem to infinitely many relative 1-random reals. Zbl 1208.03045Miyabe, Kenshi 3 2010 Derandomization in game-theoretic probability. Zbl 1403.91056Miyabe, Kenshi; Takemura, Akimichi 2 2015 Algorithmic randomness over general spaces. Zbl 1338.03084Miyabe, Kenshi 2 2014 Characterization of Kurtz randomness by a differentiation theorem. Zbl 1283.68176Miyabe, Kenshi 2 2013 The difference between optimality and universality. Zbl 1258.03052Miyabe, Kenshi 2 2012 Reducibilities relating to Schnorr randomness. Zbl 1408.68084Miyabe, Kenshi 1 2016 An optimal superfarthingale and its convergence over a computable topological space. Zbl 1403.68088Miyabe, Kenshi 1 2013 Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079Miyabe, Kenshi; Nies, André; Zhang, Jing 5 2016 Reducibilities relating to Schnorr randomness. Zbl 1408.68084Miyabe, Kenshi 1 2016 Schnorr triviality and its equivalent notions. Zbl 1336.03048Miyabe, Kenshi 3 2015 Unified characterizations of lowness properties via Kolmogorov complexity. Zbl 1338.03083Kihara, Takayuki; Miyabe, Kenshi 3 2015 Derandomization in game-theoretic probability. Zbl 1403.91056Miyabe, Kenshi; Takemura, Akimichi 2 2015 Uniform Kurtz randomness. Zbl 1338.03082Kihara, Takayuki; Miyabe, Kenshi 4 2014 Algorithmic randomness over general spaces. Zbl 1338.03084Miyabe, Kenshi 2 2014 Van Lambalgen’s theorem for uniformly relative Schnorr and computable randomness. Zbl 1364.03062Miyabe, K.; Rute, J. 6 2013 \(L^1\)-computability, layerwise computability and Solovay reducibility. Zbl 1315.03073Miyabe, Kenshi 6 2013 The law of the iterated logarithm in game-theoretic probability with quadratic and stronger hedges. Zbl 1290.60036Miyabe, Kenshi; Takemura, Akimichi 3 2013 Characterization of Kurtz randomness by a differentiation theorem. Zbl 1283.68176Miyabe, Kenshi 2 2013 An optimal superfarthingale and its convergence over a computable topological space. Zbl 1403.68088Miyabe, Kenshi 1 2013 Convergence of random series and the rate of convergence of the strong law of large numbers in game-theoretic probability. Zbl 1230.60030Miyabe, Kenshi; Takemura, Akimichi 5 2012 The difference between optimality and universality. Zbl 1258.03052Miyabe, Kenshi 2 2012 Truth-table Schnorr randomness and truth-table reducible randomness. Zbl 1220.03043Miyabe, Kenshi 9 2011 An extension of van Lambalgen’s theorem to infinitely many relative 1-random reals. Zbl 1208.03045Miyabe, Kenshi 3 2010 all cited Publications top 5 cited Publications all top 5 Cited by 43 Authors 9 Miyabe, Kenshi 6 Nies, André Otfrid 5 Takemura, Akimichi 4 Kihara, Takayuki 4 Rute, Jason 2 Bienvenu, Laurent 2 Hölzl, Rupert 2 Miller, Joseph S. 2 Shafer, Paul 2 Yu, Liang 1 Carotenuto, Gemma 1 Cenzer, Douglas 1 Davie, George 1 Day, Adam R. 1 Downey, Rodney Graham 1 Ezzaki, Fatima 1 Fouché, Willem Louw 1 Franklin, Johanna N. Y. 1 Galicki, Aleksander 1 Greenberg, Noam 1 Guo, Yongjiang 1 Higuchi, Kojiro 1 Hoyrup, Mathieu 1 Kumon, Masayuki 1 Kuyper, Rutger 1 Li, Jing 1 Mayordomo, Elvira 1 McNicholl, Timothy H. 1 Merkle, Wolfgang 1 Mezhirov, Ilya 1 Oulghazi, Hamid 1 Pauly, Arno M. 1 Porter, Christopher P. 1 Remmel, Jeffrey B. 1 Sato, Ryosuke 1 Shen, Alexander 1 Song, Yuantao 1 Stephan, Frank 1 Takeuchi, Kei 1 Turetsky, Dan 1 Vovk, Vladimir G. 1 Weihrauch, Klaus 1 Zhang, Jing all top 5 Cited in 17 Serials 5 Theory of Computing Systems 4 The Journal of Symbolic Logic 4 Annals of Pure and Applied Logic 4 Stochastic Processes and their Applications 2 Information and Computation 1 Lithuanian Mathematical Journal 1 Fundamenta Mathematicae 1 Theoretical Computer Science 1 Stochastic Analysis and Applications 1 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Lobachevskii Journal of Mathematics 1 Journal of Industrial and Management Optimization 1 Logical Methods in Computer Science 1 The Review of Symbolic Logic 1 Computability all top 5 Cited in 10 Fields 24 Mathematical logic and foundations (03-XX) 18 Computer science (68-XX) 10 Probability theory and stochastic processes (60-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Measure and integration (28-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 General topology (54-XX) 1 Real functions (26-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.