Showing math.LOShow all
2 papers · 1 filter
math.LO2024
The subTuring degrees
Takayuki Kihara, Keng Meng Ng
In this article, we introduce a notion of reducibility for partial functions on the natural numbers, which we call subTuring reducibility. One important aspect is that the subTurin…
math.LO2020
Degree spectra of homeomorphism types of compact Polish spaces
Mathieu Hoyrup, Takayuki Kihara, Victor Selivanov
A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of comp…