6 citations · 52 across the 26 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016
The uniform Martin's conjecture for many-one degrees
Takayuki Kihara, Antonio Montalbán
We study functions from reals to reals which are uniformly degree-invariant from Turing-equivalence to many-one equivalence, and compare them "on a cone." We prove that they are in…
math.LO2016★ 2 cited
Borel-piecewise continuous reducibility for uniformization problems
Takayuki Kihara
We study a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and -piecewise continuity. Our aim is to understand how a pr…
cs.LO2016★ 6 cited
Dividing by zero - how bad is it, really?
Takayuki Kihara, Arno Pauly
In computable analysis testing a real number for being zero is a fundamental example of a non-computable task. This causes problems for division: We cannot ensure that the number w…