Relating forcing relations
Forcing was first introduced by Paul J. Cohen in his work on the independence of the Continuum Hypothesis. Other formulations of forcing appeared using Model Theory, Boolean-valued Models, and Topos Theory. There is a folkloric claim that these three approaches are equivalent, at least at the level of their mathematical content. In this work, we present some results not found in the literature toward establishing connections between these versions of forcing.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.26896
curl -X POST /api/v1/records/arxiv/2605.26896/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.26896/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'