Forcing with random variables in bounded arithmetics and set theory
We analyse the Boolean-valued random forcing $B_{M,Ω}$ in bounded arithmetics developed in Krajicek (Forcing with random variables and proof complexity, vol. 382, Cambridge University Press, 2011) from the perspective of the forcing in set theory. We observe that under the assumption that $M$ is a non-standard $ω_1$-saturated model of true arithmetics of size $ω_1$, and $Ω\in M$ is a non-standard number, $B_{M,Ω}$ is isomorphic to the probability (random) algebra corresponding to the product measure space on $2^{ω_1}$ (and hence does not depend on $M$ and $Ω$). Thus, in a well-defined sense,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.10908
curl -X POST /api/v1/records/arxiv/2603.10908/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.10908/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'