The following pages link to Takayuki Kihara (Q991575):
Displaying 32 items.
- Immunity and non-cupping for closed sets (Q991576) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
- Enumerating classes of effective quasi-Polish spaces (Q2104255) (← links)
- Degrees of non-computability of homeomorphism types of Polish spaces (Q2106604) (← links)
- Finite choice, convex choice and sorting (Q2327489) (← links)
- Unified characterizations of lowness properties via Kolmogorov complexity (Q2339957) (← links)
- On effectively closed sets of effective strong measure zero (Q2453070) (← links)
- The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138) (← links)
- Topological reducibilities for discontinuous functions and their structures (Q2696644) (← links)
- Effective Strong Nullness and Effectively Closed Sets (Q2904420) (← links)
- A Hierarchy of Immunity and Density for Sets of Reals (Q2904433) (← links)
- Uniform Kurtz randomness (Q2937696) (← links)
- Borel-Piecewise Continuous Reducibility for Uniformization Problems (Q2974788) (← links)
- Dividing by Zero -- How Bad Is It, Really? (Q4608621) (← links)
- The uniform Martin’s conjecture for many-one degrees (Q4691101) (← links)
- Decomposing Borel functions using the Shore–Slaman join theorem (Q4983474) (← links)
- A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES (Q5021923) (← links)
- Wadge-like degrees of Borel bqo-valued functions (Q5086944) (← links)
- The Brouwer invariance theorems in reverse mathematics (Q5135421) (← links)
- ON A METRIC GENERALIZATION OF THE tt-DEGREES AND EFFECTIVE DIMENSION THEORY (Q5222533) (← links)
- On the structure of the Wadge degrees of bqo-valued Borel functions (Q5380486) (← links)
- On the strength of marriage theorems and uniformity (Q5419204) (← links)
- DECOMPOSING FUNCTIONS OF BAIRE CLASS ON POLISH SPACES (Q5855744) (← links)
- SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE (Q5855746) (← links)
- Point Degree Spectra of Represented Spaces (Q5864311) (← links)
- Lawvere-Tierney topologies for computability theorists (Q5875936) (← links)
- A syntactic approach to Borel functions: some extensions of Louveau's theorem (Q6053514) (← links)
- On the main scientific achievements of Victor Selivanov (Q6146819) (← links)
- Point degree spectra of represented spaces (Q6251873) (← links)
- The uniform Martin's conjecture for many-one degrees (Q6276636) (← links)
- On the structure of the Wadge degrees of BQO-valued Borel functions (Q6286965) (← links)
- A comparison of various analytic choice principles (Q6321583) (← links)
