Open Research Index

Intuitionism and computing with partial information

Hristo Ganchev, Paul Shafer, Theodore A. Slaman, Andrea Sorbi, Mariya I. Soskova

arXivarxiv/2605.20841May 20, 2026math.LOscore 0

There exist initial segments of both the Dyment lattice and the Dyment-Muchnik lattice that yield Brouwer algebras modeling exactly the intuitionistic propositional calculus. For the Dyment-Muchnik lattice, this result is obtained by constructing a splitting class of enumeration degrees. In contrast, the full Dyment lattice and the full Dyment-Muchnik lattice model the intuitionistic propositional calculus plus the weak law of excluded middle. We also observe that certain naturally definable classes of enumeration degrees, which are downwards closed under enumeration reducibility, fail to…

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