The FOR ALL THERE EXISTS-theory of the effectively closed Medvedev degrees is decidable. - Joshua A. Cole; Takayuki Kihara (Arch. Math. Log., 2010)

Effective Strong Nullness and Effectively Closed Sets. - Kojiro Higuchi; Takayuki Kihara (CiE, 2012)

A Hierarchy of Immunity and Density for Sets of Reals. - Takayuki Kihara (CiE, 2012)

Incomputability of Simply Connected Planar Continua. - Takayuki Kihara (Comput., 2012)

Inside the Muchnik Degrees: Discontinuity, Learnability, and Constructivism - Kojiro Higuchi; Takayuki Kihara (CoRR, 2012)

Inside the Muchnik degrees I: Discontinuity, learnability and constructivism. - Kojiro Higuchi; Takayuki Kihara (Ann. Pure Appl. Log., 2014)

Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions. - Kojiro Higuchi; Takayuki Kihara (Ann. Pure Appl. Log., 2014)

On effectively closed sets of effective strong measure zero. - Kojiro Higuchi; Takayuki Kihara (Ann. Pure Appl. Log., 2014)

Point degree spectra of represented spaces. - Takayuki Kihara; Arno Pauly (CoRR, 2014)

Uniform Kurtz randomness. - Takayuki Kihara; Kenshi Miyabe (J. Log. Comput., 2014)

On the strength of marriage theorems and uniformity. - Makoto Fujiwara; Kojiro Higuchi; Takayuki Kihara (Math. Log. Q., 2014)

Unified characterizations of lowness properties via Kolmogorov complexity. - Takayuki Kihara; Kenshi Miyabe (Arch. Math. Log., 2015)

Comparing the Medvedev and Turing degrees of Π0 1 classes. - Takayuki Kihara (Math. Struct. Comput. Sci., 2015)

Dividing by Zero - How Bad Is It, Really?. - Takayuki Kihara; Arno Pauly (MFCS, 2016)

Borel-piecewise continuous reducibility for uniformization problems. - Takayuki Kihara (Log. Methods Comput. Sci., 2016)

Searching for an analogue of ATR in the Weihrauch lattice. - Takayuki Kihara; Alberto Marcone; Arno Pauly (CoRR, 2018)

Finite Choice, Convex Choice and Sorting. - Takayuki Kihara; Arno Pauly (TAMC, 2019)

The binary expansion and the intermediate value theorem in constructive reverse mathematics. - Josef Berger; Hajime Ishihara; Takayuki Kihara; Takako Nemoto (Arch. Math. Log., 2019)

Enumeration degrees and non-metrizable topology. - Takayuki Kihara; Keng Meng Ng; Arno Pauly (CoRR, 2019)

Convex choice, finite choice and sorting. - Takayuki Kihara; Arno Pauly (CoRR, 2019)

Wadge-like degrees of Borel bqo-valued functions. - Takayuki Kihara; Victor L. Selivanov (CoRR, 2019)

On a Metric Generalization of the TT-Degrees and Effective Dimension Theory. - Takayuki Kihara (J. Symb. Log., 2019)

Degrees of Non-computability of Homeomorphism Types of Polish Spaces. - Mathieu Hoyrup; Takayuki Kihara; Victor L. Selivanov (CiE, 2020)

Degrees of incomputability, realizability and constructive reverse mathematics. - Takayuki Kihara (CoRR, 2020)

Decomposing Functions of Baire class $2$ on Polish Spaces. - Longyun Ding; Takayuki Kihara; Brian Semmes; Jiafei Zhao (J. Symb. Log., 2020)

Searching for an analogue of Atr0 in the Weihrauch Lattice. - Takayuki Kihara; Alberto Marcone; Arno Pauly (J. Symb. Log., 2020)

Lawvere-Tierney topologies for computability theorists. - Takayuki Kihara (CoRR, 2021)

Turing degrees in Polish spaces and decomposability of Borel functions. - Vassilios Gregoriades; Takayuki Kihara; Keng Meng Ng (J. Math. Log., 2021)

A Comparison of various analytic Choice Principles. - Paul-Elliot Anglès d'Auriac; Takayuki Kihara (J. Symb. Log., 2021)

Enumerating Classes of Effective Quasi-Polish Spaces. - Matthew de Brecht; Takayuki Kihara; Victor L. Selivanov (CiE, 2022)

Rethinking the notion of oracle: A link between synthetic descriptive set theory and effective topos theory. - Takayuki Kihara (CoRR, 2022)

De Groot Duality for Represented Spaces. - Takayuki Kihara; Arno Pauly (CiE, 2023)

Preface. - Nikolay Bazhenov 001; Takayuki Kihara; Svetlana Selivanova (Comput., 2023)

On the main scientific achievements of Victor Selivanov. - Nikolay Bazhenov 001; Takayuki Kihara; Svetlana Selivanova; Dieter Spreen (Comput., 2023)

A syntactic approach to Borel functions: some extensions of Louveau's theorem. - Takayuki Kihara; Kenta Sasaki (Arch. Math. Log., 2023)

Ideal presentations and numberings of some classes of effective quasi-Polish spaces. - Matthew de Brecht; Takayuki Kihara; Victor L. Selivanov (Comput., 2024)

Many-one reducibility with realizability. - Takayuki Kihara (CoRR, 2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective. - Takayuki Kihara (CoRR, 2024)

The subTuring degrees. - Takayuki Kihara; Keng Meng Ng (CoRR, 2024)

On the Metric Temporal Logic for Continuous Stochastic Processes. - Mitsumasa Ikeda; Yoriyuki Yamagata; Takayuki Kihara (Log. Methods Comput. Sci., 2024)