TY  - RPRT
TI  - Woodin for strong compactness cardinals
AU  - Stamatis Dimopoulos
PY  - 2018
DO  - 10.1017/jsl.2018.67
UR  - https://arxiv.org/abs/1710.05743
ID  - 1710.05743
ER  -