TY  - RPRT
TI  - A formalization of forcing and the unprovability of the continuum hypothesis
AU  - Jesse Michael Han
AU  - Floris van Doorn
PY  - 2019
UR  - https://arxiv.org/abs/1904.10570
ID  - 1904.10570
ER  -