2 papers
math.LO2023
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
Matthew de Brecht, Takayuki Kihara, Victor Selivanov
The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of…
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…