Takayuki Kihara

47 papers B 1C 6Journal 40

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Ideal presentations and numberings of some classes of effective quasi-Polish spaces. Comput. Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
2024	J	`jnl`	Many-one reducibility with realizability. CoRR Takayuki Kihara
2024	J	`jnl`	On the Metric Temporal Logic for Continuous Stochastic Processes. Log. Methods Comput. Sci. Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara
2024	J	`jnl`	The Arithmetical Hierarchy: A Realizability-Theoretic Perspective. CoRR Takayuki Kihara
2024	J	`jnl`	The subTuring degrees. CoRR Takayuki Kihara, Keng Meng Ng
2023	J	`jnl`	A syntactic approach to Borel functions: some extensions of Louveau's theorem. Arch. Math. Log. Takayuki Kihara, Kenta Sasaki
2023	C	`conf`	De Groot Duality for Represented Spaces. CiE Takayuki Kihara, Arno Pauly
2023	J	`jnl`	Ideal presentations and numberings of some classes of effective quasi-Polish spaces. CoRR Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
2023	J	`jnl`	On the Metric Temporal Logic for Continuous Stochastic Processes. CoRR Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara
2023	J	`jnl`	On the main scientific achievements of Victor Selivanov. Comput. Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova, Dieter Spreen
2023	J	`jnl`	Preface. Comput. Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova
2022	C	`conf`	Enumerating Classes of Effective Quasi-Polish Spaces. CiE Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
2022	J	`jnl`	Rethinking the notion of oracle: A link between synthetic descriptive set theory and effective topos theory. CoRR Takayuki Kihara
2021	J	`jnl`	A Comparison of various analytic Choice Principles. J. Symb. Log. Paul-Elliot Anglès d'Auriac, Takayuki Kihara
2021	J	`jnl`	Lawvere-Tierney topologies for computability theorists. CoRR Takayuki Kihara
2021	J	`jnl`	Turing degrees in Polish spaces and decomposability of Borel functions. J. Math. Log. Vassilios Gregoriades, Takayuki Kihara, Keng Meng Ng
2020	J	`jnl`	Decomposing Functions of Baire class $2$ on Polish Spaces. J. Symb. Log. Longyun Ding, Takayuki Kihara, Brian Semmes, Jiafei Zhao
2020	C	`conf`	Degrees of Non-computability of Homeomorphism Types of Polish Spaces. CiE Mathieu Hoyrup, Takayuki Kihara, Victor L. Selivanov
2020	J	`jnl`	Degrees of incomputability, realizability and constructive reverse mathematics. CoRR Takayuki Kihara
2020	J	`jnl`	Searching for an analogue of Atr0 in the Weihrauch Lattice. J. Symb. Log. Takayuki Kihara, Alberto Marcone, Arno Pauly
2019	J	`jnl`	A comparison of various analytic choice principles. CoRR Paul-Elliot Anglès d'Auriac, Takayuki Kihara
2019	J	`jnl`	Convex choice, finite choice and sorting. CoRR Takayuki Kihara, Arno Pauly
2019	J	`jnl`	Enumeration degrees and non-metrizable topology. CoRR Takayuki Kihara, Keng Meng Ng, Arno Pauly
2019	C	`conf`	Finite Choice, Convex Choice and Sorting. TAMC Takayuki Kihara, Arno Pauly
2019	J	`jnl`	On a Metric Generalization of the TT-Degrees and Effective Dimension Theory. J. Symb. Log. Takayuki Kihara
2019	J	`jnl`	The binary expansion and the intermediate value theorem in constructive reverse mathematics. Arch. Math. Log. Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto
2019	J	`jnl`	Wadge-like degrees of Borel bqo-valued functions. CoRR Takayuki Kihara, Victor L. Selivanov
2018	J	`jnl`	On a metric generalization of the tt-degrees and effective dimension theory. CoRR Takayuki Kihara
2018	J	`jnl`	Searching for an analogue of ATR in the Weihrauch lattice. CoRR Takayuki Kihara, Alberto Marcone, Arno Pauly
2016	J	`jnl`	Borel-piecewise continuous reducibility for uniformization problems. Log. Methods Comput. Sci. Takayuki Kihara
2016	B	`conf`	Dividing by Zero - How Bad Is It, Really?. MFCS Takayuki Kihara, Arno Pauly
2016	J	`jnl`	Dividing by zero - how bad is it, really? CoRR Takayuki Kihara, Arno Pauly
2015	J	`jnl`	Comparing the Medvedev and Turing degrees of Π Math. Struct. Comput. Sci. Takayuki Kihara
2015	J	`jnl`	Unified characterizations of lowness properties via Kolmogorov complexity. Arch. Math. Log. Takayuki Kihara, Kenshi Miyabe
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`	Point degree spectra of represented spaces. CoRR Takayuki Kihara, Arno Pauly
2014	J	`jnl`	Uniform Kurtz randomness. J. Log. Comput. Takayuki Kihara, Kenshi Miyabe
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`	A Hierarchy of Immunity and Density for Sets of Reals. CiE Takayuki Kihara
2012	C	`conf`	Effective Strong Nullness and Effectively Closed Sets. CiE Kojiro Higuchi, Takayuki Kihara
2012	J	`jnl`	Incomputability of Simply Connected Planar Continua. Comput. Takayuki Kihara
2012	J	`jnl`	Inside the Muchnik Degrees: Discontinuity, Learnability, and Constructivism CoRR Kojiro Higuchi, Takayuki Kihara
2011	J	`jnl`	Incomputability of Simply Connected Planar Continua CoRR Takayuki Kihara
2010	J	`jnl`	The FOR ALL THERE EXISTS-theory of the effectively closed Medvedev degrees is decidable. Arch. Math. Log. Joshua A. Cole, Takayuki Kihara