2 papers
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…
math.LO2026
A -translation with Kripke forcing relation
Satoshi Nakata
In this paper, we introduce a translation that combines the -translation with Kripke forcing in the internal logic of an elementary topos. First, we show that our translation is…