A Set-Theoretic Translation of Modal Logic via Forcing
We develop a set-theoretic translation of a normal modal extension $T_m$ of a recursively axiomatizable first-order theory $T$. We first pass to the Henkin expansion of the underlying language by adding witness constants and work with the sentence algebra of this expansion. The translation is constructed using the corresponding Lindenbaum-Tarski algebra, the Stone space of its ultrafilters, and quotient forcing by a $σ$-ideal of Borel sets; in particular, the meager ideal yields Cohen forcing and the null ideal yields the random forcing. In a Boolean-valued universe, we interpret the modal…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.07330
curl -X POST /api/v1/records/arxiv/2609.07330/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.07330/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'