Open Research Index

Modified realizability subtoposes and total Weihrauch reducibility

Akihito Kajikawa, Masamori Kaku, Takayuki Kihara, Satoshi Nakata

arXivarxiv/2608.02133Aug 3, 2026math.LOscore 0

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 article, we formulate and analyze the notion of reducibility within the framework of total computability. Then, using sheaf subtoposes derived from oracles in the total computable setting, we establish separations between various hierarchies of logical principles, including the hierarchies of the weak law of excluded middle $\mathbf{WLEM}$, the lessor limited principle of omniscience $\mathbf{LLPO}$, and Markov's…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2608.02133
curl -X POST /api/v1/records/arxiv/2608.02133/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.02133/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'