Kojiro Higuchi

13 papers C 2Journal 11
YearRankTypeTitle / Venue / Authors
2014 J jnl
Defining a randomness notion via another.
Math. Log. Q.
Kojiro Higuchi, NingNing Peng
2014 J jnl
Inside the Muchnik degrees I: Discontinuity, learnability and constructivism.
Ann. Pure Appl. Log.
Kojiro Higuchi, Takayuki Kihara
2014 J jnl
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions.
Ann. Pure Appl. Log.
Kojiro Higuchi, Takayuki Kihara
2014 J jnl
On effectively closed sets of effective strong measure zero.
Ann. Pure Appl. Log.
Kojiro Higuchi, Takayuki Kihara
2014 J jnl
On the strength of marriage theorems and uniformity.
Math. Log. Q.
Makoto Fujiwara, Kojiro Higuchi, Takayuki Kihara
2014 J jnl
Propagation of partial randomness.
Ann. Pure Appl. Log.
Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson, Keita Yokoyama
2014 J jnl
Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${\mathsf{WTC}}$$ WTC and $${\mathsf{S2S}}$$ S 2 S.
Arch. Math. Log.
Kojiro Higuchi, Yoshihiro Horihata
2013 J jnl
Inside the Muchnik Degrees II: The Degree Structures induced by the Arithmetical Hierarchy of Countably Continuous Functions.
CoRR
Kojiro Higuchi, Takayuki Kihara
2012 C conf
Effective Strong Nullness and Effectively Closed Sets.
CiE
Kojiro Higuchi, Takayuki Kihara
2012 J jnl
Effectively closed mass problems and intuitionism.
Ann. Pure Appl. Log.
Kojiro Higuchi
2012 J jnl
Inside the Muchnik Degrees: Discontinuity, Learnability, and Constructivism
CoRR
Kojiro Higuchi, Takayuki Kihara
2012 C conf
Relative Randomness for Martin-Löf Random Sets.
CiE
NingNing Peng, Kojiro Higuchi, Takeshi Yamazaki, Kazuyuki Tanaka
2011 J jnl
The degree structure of Weihrauch-reducibility
Log. Methods Comput. Sci.
Kojiro Higuchi, Arno Pauly