TY  - RPRT
TI  - Degrees of incomputability, realizability and constructive reverse mathematics
AU  - Takayuki Kihara
PY  - 2025
UR  - https://arxiv.org/abs/2002.10712
ID  - 2002.10712
ER  -