Kenshi Miyabe

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 7

Top Topics

Computational Properties

Kolmogorov Complexity

Top Venues

Theory Comput. Syst.

Bull. Symb. Log.

Publications

Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa, Toshio Suzuki
Solovay reducibility and continuity. J. Log. Anal. 12 (2020)
Kenshi Miyabe
Computable Prediction. AGI (2019)
Kenshi Miyabe
Uniform Relativization. CiE (2019)
Kenshi Miyabe
Coherence of Reducibilities with Randomness Notions. Theory Comput. Syst. 62 (7) (2018)
Kenshi Miyabe, André Nies, Frank Stephan
Randomness and Solovay degrees. J. Log. Anal. 10 (2018)
Kenshi Miyabe, André Nies, Jing Zhang
Using Almost-everywhere theorems from Analysis to Study Randomness. Bull. Symb. Log. 22 (3) (2016)
Kenshi Miyabe
Reducibilities Relating to Schnorr Randomness. Theory Comput. Syst. 58 (3) (2016)
Takayuki Kihara, Kenshi Miyabe
Unified characterizations of lowness properties via Kolmogorov complexity. Arch. Math. Log. 54 (3-4) (2015)
Kenshi Miyabe
Schnorr Triviality and Its Equivalent Notions. Theory Comput. Syst. 56 (3) (2015)
Takayuki Kihara, Kenshi Miyabe
Uniform Kurtz randomness. J. Log. Comput. 24 (4) (2014)
Rodney G. Downey, Kenshi Miyabe, André Nies, Osamu Watanabe
Algorithmic Randomness and Complexity (NII Shonan Meeting 2014-10). NII Shonan Meet. Rep. 2014 (2014)
Kenshi Miyabe
Algorithmic randomness over general spaces. Math. Log. Q. 60 (3) (2014)
Kenshi Miyabe
-Computability, Layerwise Computability and Solovay Reducibility. Comput. 2 (1) (2013)
Kenshi Miyabe
Characterization of Kurtz Randomness by a Differentiation Theorem. Theory Comput. Syst. 52 (1) (2013)
Kenshi Miyabe
The difference between optimality and universality. Log. J. IGPL 20 (1) (2012)
Kenshi Miyabe
Truth-table Schnorr randomness and truth-table reducible randomness. Math. Log. Q. 57 (3) (2011)
Kenshi Miyabe
An Optimal Superfarthingale and Its Convergence over a Computable Topological Space. Algorithmic Probability and Friends (2011)
Kenshi Miyabe
An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals. Notre Dame J. Formal Log. 51 (3) (2010)