default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTakayuki Kihara
Person information
- affiliation: Nagoya University, Japan
- affiliation: Tohoku University, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j21]Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov:
Ideal presentations and numberings of some classes of effective quasi-Polish spaces. Comput. 13(3-4): 325-348 (2024)- [j20]Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara:
On the Metric Temporal Logic for Continuous Stochastic Processes. Log. Methods Comput. Sci. 20(2) (2024) - [i19]Takayuki Kihara:
Many-one reducibility with realizability. CoRR abs/2403.16027 (2024) - [i18]Takayuki Kihara:
The Arithmetical Hierarchy: A Realizability-Theoretic Perspective. CoRR abs/2410.15795 (2024) - [i17]Takayuki Kihara, Keng Meng Ng:
The subTuring degrees. CoRR abs/2411.06043 (2024) - 2023
- [j19]Takayuki Kihara
, Kenta Sasaki:
A syntactic approach to Borel functions: some extensions of Louveau's theorem. Arch. Math. Log. 62(7-8): 1041-1082 (2023) - [j18]Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova:
Preface. Comput. 12(4): 299 (2023) - [j17]Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova, Dieter Spreen:
On the main scientific achievements of Victor Selivanov. Comput. 12(4): 301-314 (2023) - [c7]Takayuki Kihara, Arno Pauly:
De Groot Duality for Represented Spaces. CiE 2023: 89-101 - [i16]Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov:
Ideal presentations and numberings of some classes of effective quasi-Polish spaces. CoRR abs/2301.08469 (2023) - [i15]Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara:
On the Metric Temporal Logic for Continuous Stochastic Processes. CoRR abs/2308.00984 (2023) - 2022
- [c6]Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov:
Enumerating Classes of Effective Quasi-Polish Spaces. CiE 2022: 88-102 - [i14]Takayuki Kihara:
Rethinking the notion of oracle: A link between synthetic descriptive set theory and effective topos theory. CoRR abs/2202.00188 (2022) - 2021
- [j16]Vassilios Gregoriades, Takayuki Kihara, Keng Meng Ng:
Turing degrees in Polish spaces and decomposability of Borel functions. J. Math. Log. 21(1): 2050021:1-2050021:41 (2021) - [j15]Paul-Elliot Anglès d'Auriac, Takayuki Kihara:
A Comparison of various analytic Choice Principles. J. Symb. Log. 86(4): 1452-1485 (2021) - [i13]Takayuki Kihara:
Lawvere-Tierney topologies for computability theorists. CoRR abs/2106.03061 (2021) - 2020
- [j14]Longyun Ding, Takayuki Kihara, Brian Semmes, Jiafei Zhao:
Decomposing Functions of Baire class $2$ on Polish Spaces. J. Symb. Log. 85(3): 960-971 (2020) - [j13]Takayuki Kihara, Alberto Marcone, Arno Pauly:
Searching for an analogue of Atr0 in the Weihrauch Lattice. J. Symb. Log. 85(3): 1006-1043 (2020) - [c5]Mathieu Hoyrup, Takayuki Kihara, Victor L. Selivanov:
Degrees of Non-computability of Homeomorphism Types of Polish Spaces. CiE 2020: 189-192 - [i12]Takayuki Kihara:
Degrees of incomputability, realizability and constructive reverse mathematics. CoRR abs/2002.10712 (2020)
2010 – 2019
- 2019
- [j12]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): 203-217 (2019) - [j11]Takayuki Kihara:
On a Metric Generalization of the TT-Degrees and Effective Dimension Theory. J. Symb. Log. 84(2): 726-749 (2019) - [c4]Takayuki Kihara, Arno Pauly:
Finite Choice, Convex Choice and Sorting. TAMC 2019: 378-393 - [i11]Takayuki Kihara, Keng Meng Ng, Arno Pauly:
Enumeration degrees and non-metrizable topology. CoRR abs/1904.04107 (2019) - [i10]Takayuki Kihara, Arno Pauly:
Convex choice, finite choice and sorting. CoRR abs/1905.03190 (2019) - [i9]Paul-Elliot Anglès d'Auriac, Takayuki Kihara:
A comparison of various analytic choice principles. CoRR abs/1907.02769 (2019) - [i8]Takayuki Kihara, Victor L. Selivanov:
Wadge-like degrees of Borel bqo-valued functions. CoRR abs/1909.10835 (2019) - 2018
- [i7]Takayuki Kihara:
On a metric generalization of the tt-degrees and effective dimension theory. CoRR abs/1803.03753 (2018) - [i6]Takayuki Kihara, Alberto Marcone, Arno Pauly:
Searching for an analogue of ATR in the Weihrauch lattice. CoRR abs/1812.01549 (2018) - 2016
- [j10]Takayuki Kihara:
Borel-piecewise continuous reducibility for uniformization problems. Log. Methods Comput. Sci. 12(4) (2016) - [c3]Takayuki Kihara, Arno Pauly:
Dividing by Zero - How Bad Is It, Really?. MFCS 2016: 58:1-58:14 - [i5]Takayuki Kihara, Arno Pauly:
Dividing by zero - how bad is it, really? CoRR abs/1606.04126 (2016) - 2015
- [j9]Takayuki Kihara, Kenshi Miyabe:
Unified characterizations of lowness properties via Kolmogorov complexity. Arch. Math. Log. 54(3-4): 329-358 (2015) - [j8]Takayuki Kihara:
Comparing the Medvedev and Turing degrees of Π0 1 classes. Math. Struct. Comput. Sci. 25(8): 1649-1668 (2015) - 2014
- [j7]Kojiro Higuchi, Takayuki Kihara:
Inside the Muchnik degrees I: Discontinuity, learnability and constructivism. Ann. Pure Appl. Log. 165(5): 1058-1114 (2014) - [j6]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): 1201-1241 (2014) - [j5]Kojiro Higuchi, Takayuki Kihara:
On effectively closed sets of effective strong measure zero. Ann. Pure Appl. Log. 165(9): 1445-1469 (2014) - [j4]Takayuki Kihara, Kenshi Miyabe:
Uniform Kurtz randomness. J. Log. Comput. 24(4): 863-882 (2014) - [j3]Makoto Fujiwara, Kojiro Higuchi, Takayuki Kihara:
On the strength of marriage theorems and uniformity. Math. Log. Q. 60(3): 136-153 (2014) - [i4]Takayuki Kihara, Arno Pauly:
Point degree spectra of represented spaces. CoRR abs/1405.6866 (2014) - 2013
- [i3]Kojiro Higuchi, Takayuki Kihara:
Inside the Muchnik Degrees II: The Degree Structures induced by the Arithmetical Hierarchy of Countably Continuous Functions. CoRR abs/1309.1937 (2013) - 2012
- [j2]Takayuki Kihara:
Incomputability of Simply Connected Planar Continua. Comput. 1(2): 131-152 (2012) - [c2]Kojiro Higuchi, Takayuki Kihara:
Effective Strong Nullness and Effectively Closed Sets. CiE 2012: 303-312 - [c1]Takayuki Kihara:
A Hierarchy of Immunity and Density for Sets of Reals. CiE 2012: 384-394 - [i2]Kojiro Higuchi, Takayuki Kihara:
Inside the Muchnik Degrees: Discontinuity, Learnability, and Constructivism. CoRR abs/1210.0697 (2012) - 2011
- [i1]Takayuki Kihara:
Incomputability of Simply Connected Planar Continua. CoRR abs/1110.6140 (2011) - 2010
- [j1]Joshua A. Cole, Takayuki Kihara:
The FOR ALL THERE EXISTS-theory of the effectively closed Medvedev degrees is decidable. Arch. Math. Log. 49(1): 1-16 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
