Kojiro HIGUCHI

Weak theories of concatenation and minimal essentially undecidable theories 

ARCHIVE FOR MATHEMATICAL LOGIC, 53(7-8) 835-853, Nov, 2014  Peer-reviewed

On effectively closed sets of effective strong measure zero 

ANNALS OF PURE AND APPLIED LOGIC, 165(9) 1445-1469, Sep, 2014  Peer-reviewed

Defining a randomness notion via another 

MATHEMATICAL LOGIC QUARTERLY, 60(4-5) 280-288, Aug, 2014  Peer-reviewed

Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions 

ANNALS OF PURE AND APPLIED LOGIC, 165(6) 1201-1241, Jun, 2014  Peer-reviewed

On the strength of marriage theorems and uniformity 

MATHEMATICAL LOGIC QUARTERLY, 60(3) 136-153, May, 2014  Peer-reviewed

Inside the Muchnik degrees I: Discontinuity, learnability and constructivism 

ANNALS OF PURE AND APPLIED LOGIC, 165(5) 1058-1114, May, 2014  Peer-reviewed

Propagation of partial randomness 

ANNALS OF PURE AND APPLIED LOGIC, 165(2) 742-758, Feb, 2014  Peer-reviewed

Effectively closed mass problems and intuitionism 

ANNALS OF PURE AND APPLIED LOGIC, 163(6) 693-697, Jun, 2012  Peer-reviewed

Relative randomness for Martin-Löf random sets 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7318 581-588, 2012  Peer-reviewed

Effective strong nullness and effectively closed sets 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7318 303-312, 2012  Peer-reviewed

P(w) Is Not a Heyting Algebra 

PROGRAMS, PROOFS, PROCESSES, 6158 190-194, 2010  Peer-reviewed