6 citations · 52 across the 26 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018★ 4 cited
Searching for an analogue of ATR in the Weihrauch lattice
Takayuki Kihara, Alberto Marcone, Arno Pauly
There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to transl…
math.LO2018★ 1 cited
Decomposing functions of Baire class on Polish spaces
Longyun Ding, Takayuki Kihara, Brian Semmes +1
We prove the Decomposability Conjecture for functions of Baire class on a Polish space to a separable metrizable space. This partially answer an important open problem in descr…
math.LO2018★ 1 cited
On a metric generalization of the -degrees and effective dimension theory
Takayuki Kihara
In this article, we study an analogue of -reducibility for points in computable metric spaces. We characterize the notion of the metric -degree in the context of first-leve…