Takayuki Kihara

Nagoya University — Japan

Computer Science · Physical Sciences

11h-index519citations108works0.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Computability, Logic, AI Algorithms(58), Advanced Topology and Set Theory(42), semigroups and automata theory(20), Mathematical Dynamics and Fractals(10), Advanced Algebra and Logic(8)

Publications108 total

The subTuring degrees
Canadian Journal of Mathematics·2025Open Access
MANY-ONE REDUCIBILITY WITH REALIZABILITY
Journal of Symbolic Logic·2025
The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
arXiv (Cornell University)·2024Open Access
On the Metric Temporal Logic for Continuous Stochastic Processes
Logical Methods in Computer Science·2024Open Access
Many-one reducibility with realizability
arXiv (Cornell University)·2024Open Access
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
Computability·2024· 1 cited
Design and Construction of Haremirai Sennichimae with Attractive Facade and Interior Space Using Concrete
Concrete Journal·2024
Preface
Computability·2023Open Access
On the main scientific achievements of Victor Selivanov
Computability·2023
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES
Journal of Symbolic Logic·2023· 9 citedOpen Access
On the Metric Temporal Logic for Continuous Stochastic Processes
arXiv (Cornell University)·2023Open Access
A syntactic approach to Borel functions: some extensions of Louveau’s theorem
Archive for Mathematical Logic·2023
Untitled
Transactions of the American Mathematical Society Series B·2023Open Access
Lawvere-Tierney topologies for computability theorists
Transactions of the American Mathematical Society Series B·2023· 2 citedOpen Access
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
arXiv (Cornell University)·2023Open Access
De Groot Duality for Represented Spaces
Lecture notes in computer science·2023
Topological reducibilities for discontinuous functions and their structures
Israel Journal of Mathematics·2022· 5 cited
Wadge-like degrees of Borel bqo-valued functions
Proceedings of the American Mathematical Society·2022· 3 cited
Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
arXiv (Cornell University)·2022· 6 citedOpen Access
On some topics around the Wadge rank $ω_2$
arXiv (Cornell University)·2022Open Access
page 1 of 6Next →

Frequent Co-authors

Kanta Ono(7), Arno Pauly(7), Shinsuke Nakazono(4), Victor Selivanov(4), Masaharu Oshima(4), Koji Horiba(3), M. Oshima(3), Han Woong Yeom(3), Akito Kakizaki(3), Y. Aiura(3), Tomoyuki Ueyama(3), Kazuhiro Nakata(3), Masao Ushio(3), Mathieu Hoyrup(3), Taichi Okuda(3), Ayumi Harasawa(3), Atsushi Yokoo(3), T. Kinoshita(3), O. Shiino(2), Kosuke Higuchi(2)