Takayuki Kihara

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 29

Top Topics

Metric Temporal Logic

Piecewise Continuous

Stochastic Process

Top Venues

Ann. Pure Appl. Log.

Publications

Takayuki Kihara
Many-one reducibility with realizability. CoRR (2024)
Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara
On the Metric Temporal Logic for Continuous Stochastic Processes. Log. Methods Comput. Sci. 20 (2) (2024)
Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
Ideal presentations and numberings of some classes of effective quasi-Polish spaces. CoRR (2023)
Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova, Dieter Spreen
On the main scientific achievements of Victor Selivanov. Comput. 12 (4) (2023)
Takayuki Kihara, Kenta Sasaki
A syntactic approach to Borel functions: some extensions of Louveau's theorem. Arch. Math. Log. 62 (7-8) (2023)
Takayuki Kihara, Arno Pauly
De Groot Duality for Represented Spaces. CiE (2023)
Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara
On the Metric Temporal Logic for Continuous Stochastic Processes. CoRR (2023)
Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova
Preface. Comput. 12 (4) (2023)
Takayuki Kihara
Rethinking the notion of oracle: A link between synthetic descriptive set theory and effective topos theory. CoRR (2022)
Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
Enumerating Classes of Effective Quasi-Polish Spaces. CiE (2022)
Takayuki Kihara
Lawvere-Tierney topologies for computability theorists. CoRR (2021)
Vassilios Gregoriades, Takayuki Kihara, Keng Meng Ng
Turing degrees in Polish spaces and decomposability of Borel functions. J. Math. Log. 21 (1) (2021)
Paul-Elliot Anglès d'Auriac, Takayuki Kihara
A Comparison of various analytic Choice Principles. J. Symb. Log. 86 (4) (2021)
Mathieu Hoyrup, Takayuki Kihara, Victor L. Selivanov
Degrees of Non-computability of Homeomorphism Types of Polish Spaces. CiE (2020)
Takayuki Kihara
Degrees of incomputability, realizability and constructive reverse mathematics. CoRR (2020)
Takayuki Kihara, Alberto Marcone, Arno Pauly
Searching for an analogue of Atr0 in the Weihrauch Lattice. J. Symb. Log. 85 (3) (2020)
Longyun Ding, Takayuki Kihara, Brian Semmes, Jiafei Zhao
Decomposing Functions of Baire class $2$ on Polish Spaces. J. Symb. Log. 85 (3) (2020)
Takayuki Kihara, Arno Pauly
Convex choice, finite choice and sorting. CoRR (2019)
Takayuki Kihara, Victor L. Selivanov
Wadge-like degrees of Borel bqo-valued functions. CoRR (2019)
Paul-Elliot Anglès d'Auriac, Takayuki Kihara
A comparison of various analytic choice principles. CoRR (2019)
Takayuki Kihara, Arno Pauly
Finite Choice, Convex Choice and Sorting. TAMC (2019)
Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Arch. Math. Log. 58 (1-2) (2019)
Takayuki Kihara, Keng Meng Ng, Arno Pauly
Enumeration degrees and non-metrizable topology. CoRR (2019)
Takayuki Kihara
On a Metric Generalization of the TT-Degrees and Effective Dimension Theory. J. Symb. Log. 84 (2) (2019)
Takayuki Kihara
On a metric generalization of the tt-degrees and effective dimension theory. CoRR (2018)
Takayuki Kihara, Alberto Marcone, Arno Pauly
Searching for an analogue of ATR in the Weihrauch lattice. CoRR (2018)
Takayuki Kihara
Borel-piecewise continuous reducibility for uniformization problems. Log. Methods Comput. Sci. 12 (4) (2016)
Takayuki Kihara, Arno Pauly
Dividing by Zero - How Bad Is It, Really?. MFCS (2016)
Takayuki Kihara, Arno Pauly
Dividing by zero - how bad is it, really? CoRR (2016)
Takayuki Kihara
classes. Math. Struct. Comput. Sci. 25 (8) (2015)
Takayuki Kihara, Kenshi Miyabe
Unified characterizations of lowness properties via Kolmogorov complexity. Arch. Math. Log. 54 (3-4) (2015)
Makoto Fujiwara, Kojiro Higuchi, Takayuki Kihara
On the strength of marriage theorems and uniformity. Math. Log. Q. 60 (3) (2014)
Kojiro Higuchi, Takayuki Kihara
Inside the Muchnik degrees I: Discontinuity, learnability and constructivism. Ann. Pure Appl. Log. 165 (5) (2014)
Kojiro Higuchi, Takayuki Kihara
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions. Ann. Pure Appl. Log. 165 (6) (2014)
Takayuki Kihara, Arno Pauly
Point degree spectra of represented spaces. CoRR (2014)
Takayuki Kihara, Kenshi Miyabe
Uniform Kurtz randomness. J. Log. Comput. 24 (4) (2014)
Kojiro Higuchi, Takayuki Kihara
On effectively closed sets of effective strong measure zero. Ann. Pure Appl. Log. 165 (9) (2014)
Kojiro Higuchi, Takayuki Kihara
Inside the Muchnik Degrees II: The Degree Structures induced by the Arithmetical Hierarchy of Countably Continuous Functions. CoRR (2013)
Kojiro Higuchi, Takayuki Kihara
Inside the Muchnik Degrees: Discontinuity, Learnability, and Constructivism CoRR (2012)
Takayuki Kihara
A Hierarchy of Immunity and Density for Sets of Reals. CiE (2012)
Kojiro Higuchi, Takayuki Kihara
Effective Strong Nullness and Effectively Closed Sets. CiE (2012)
Takayuki Kihara
Incomputability of Simply Connected Planar Continua. Comput. 1 (2) (2012)
Takayuki Kihara
Incomputability of Simply Connected Planar Continua CoRR (2011)
Joshua A. Cole, Takayuki Kihara
The FOR ALL THERE EXISTS-theory of the effectively closed Medvedev degrees is decidable. Arch. Math. Log. 49 (1) (2010)