# zbMATH — the first resource for mathematics

## Miyabe, Kenshi

Compute Distance To:
 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)

#### 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.03043
Miyabe, Kenshi
2011
Van Lambalgen’s theorem for uniformly relative Schnorr and computable randomness. Zbl 1364.03062
Miyabe, K.; Rute, J.
2013
$$L^1$$-computability, layerwise computability and Solovay reducibility. Zbl 1315.03073
Miyabe, Kenshi
2013
Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079
Miyabe, Kenshi; Nies, André; Zhang, Jing
2016
Convergence of random series and the rate of convergence of the strong law of large numbers in game-theoretic probability. Zbl 1230.60030
Miyabe, Kenshi; Takemura, Akimichi
2012
Uniform Kurtz randomness. Zbl 1338.03082
Kihara, Takayuki; Miyabe, Kenshi
2014
Schnorr triviality and its equivalent notions. Zbl 1336.03048
Miyabe, Kenshi
2015
Unified characterizations of lowness properties via Kolmogorov complexity. Zbl 1338.03083
Kihara, Takayuki; Miyabe, Kenshi
2015
The law of the iterated logarithm in game-theoretic probability with quadratic and stronger hedges. Zbl 1290.60036
Miyabe, Kenshi; Takemura, Akimichi
2013
An extension of van Lambalgen’s theorem to infinitely many relative 1-random reals. Zbl 1208.03045
Miyabe, Kenshi
2010
Derandomization in game-theoretic probability. Zbl 1403.91056
Miyabe, Kenshi; Takemura, Akimichi
2015
Algorithmic randomness over general spaces. Zbl 1338.03084
Miyabe, Kenshi
2014
Characterization of Kurtz randomness by a differentiation theorem. Zbl 1283.68176
Miyabe, Kenshi
2013
The difference between optimality and universality. Zbl 1258.03052
Miyabe, Kenshi
2012
Reducibilities relating to Schnorr randomness. Zbl 1408.68084
Miyabe, Kenshi
2016
An optimal superfarthingale and its convergence over a computable topological space. Zbl 1403.68088
Miyabe, Kenshi
2013
Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079
Miyabe, Kenshi; Nies, André; Zhang, Jing
2016
Reducibilities relating to Schnorr randomness. Zbl 1408.68084
Miyabe, Kenshi
2016
Schnorr triviality and its equivalent notions. Zbl 1336.03048
Miyabe, Kenshi
2015
Unified characterizations of lowness properties via Kolmogorov complexity. Zbl 1338.03083
Kihara, Takayuki; Miyabe, Kenshi
2015
Derandomization in game-theoretic probability. Zbl 1403.91056
Miyabe, Kenshi; Takemura, Akimichi
2015
Uniform Kurtz randomness. Zbl 1338.03082
Kihara, Takayuki; Miyabe, Kenshi
2014
Algorithmic randomness over general spaces. Zbl 1338.03084
Miyabe, Kenshi
2014
Van Lambalgen’s theorem for uniformly relative Schnorr and computable randomness. Zbl 1364.03062
Miyabe, K.; Rute, J.
2013
$$L^1$$-computability, layerwise computability and Solovay reducibility. Zbl 1315.03073
Miyabe, Kenshi
2013
The law of the iterated logarithm in game-theoretic probability with quadratic and stronger hedges. Zbl 1290.60036
Miyabe, Kenshi; Takemura, Akimichi
2013
Characterization of Kurtz randomness by a differentiation theorem. Zbl 1283.68176
Miyabe, Kenshi
2013
An optimal superfarthingale and its convergence over a computable topological space. Zbl 1403.68088
Miyabe, Kenshi
2013
Convergence of random series and the rate of convergence of the strong law of large numbers in game-theoretic probability. Zbl 1230.60030
Miyabe, Kenshi; Takemura, Akimichi
2012
The difference between optimality and universality. Zbl 1258.03052
Miyabe, Kenshi
2012
Truth-table Schnorr randomness and truth-table reducible randomness. Zbl 1220.03043
Miyabe, Kenshi
2011
An extension of van Lambalgen’s theorem to infinitely many relative 1-random reals. Zbl 1208.03045
Miyabe, Kenshi
2010
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)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.