TY  - RPRT
TI  - Forcing with random variables in bounded arithmetics and set theory
AU  - Radek Honzik
PY  - 2026
UR  - https://arxiv.org/abs/2603.10908
ID  - 2603.10908
ER  -