TY  - RPRT
TI  - Modified realizability subtoposes and total Weihrauch reducibility
AU  - Akihito Kajikawa
AU  - Masamori Kaku
AU  - Takayuki Kihara
AU  - Satoshi Nakata
PY  - 2026
UR  - https://arxiv.org/abs/2608.02133
ID  - 2608.02133
ER  -