The Internal Modal Logic of Forcing
We connect modal set theory with Boolean-valued models by developing an \emph{internal} Kripke semantics for modal formulas whose atomic propositions are set-theoretic sentences. Given a complete Boolean algebra $B$, we view its elements as ``local perspectives on truth'' inside the Boolean-valued universe $V^{(B)}$ and interpret the modal operators using an accessibility relation $R$ on $B$ defined by \emph{co-consistency} (equivalently, Boolean compatibility): $aRb$ iff $a\wedge b\neq 0$. Our central conceptual point is that, for set-theoretic sentences $p$, the internal modality $\Diamond…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.25977
curl -X POST /api/v1/records/arxiv/2607.25977/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.25977/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'