
LawvereTierney topologies for computability theorists
In this article, we introduce certain kinds of computable reduction game...
read it

Degrees of incomputability, realizability and constructive reverse mathematics
There is a way of assigning a realizability notion to each degree of inc...
read it

Wadgelike degrees of Borel bqovalued functions
We unite two well known generalisations of the Wadge theory. The first o...
read it

A comparison of various analytic choice principles
We investigate computability theoretic and descriptive set theoretic con...
read it

Convex choice, finite choice and sorting
We study the Weihrauch degrees of closed choice for finite sets, closed ...
read it

Enumeration degrees and nonmetrizable topology
The enumeration degrees of sets of natural numbers can be identified wit...
read it

Searching for an analogue of ATR in the Weihrauch lattice
There are close similarities between the Weihrauch lattice and the zoo o...
read it

On a metric generalization of the ttdegrees and effective dimension theory
In this article, we study an analogue of ttreducibility for points in c...
read it
Takayuki Kihara
is this you? claim profile