collaborators

1 paper

math.LO2026

Modified realizability subtoposes and total Weihrauch reducibility

Akihito Kajikawa, Masamori Kaku, Takayuki Kihara +1

In recent years, there has been rapid development in the foundational study of oracle computability from the perspective of Lawvere-Tierney topologies and their sheaves. In this ar…