Forcing in bounded arithmetic and set theory: analogies and differences
We provide a modern overview of several forcing methods in bounded arithmetic and compare them with forcing in set theory. We specifically discuss the countable forcing framework of Atserias and Muller, the restricted ultrapowers of Bydzovsky and Muller, and forcing with random variables developed by Krajicek. We illustrate these forcing arguments by reviewing the Paris--Wilkie forcing and by giving a self-contained construction of the shallow PHP model constructed by Krajicek. We observe that, from a formal point of view, Krajicek's forcing with uncountable structures can be interpreted in…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.03919
curl -X POST /api/v1/records/arxiv/2610.03919/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.03919/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'