TY  - RPRT
TI  - A premouse inheriting strong cardinals from $V$
AU  - Farmer Schlutzenberg
PY  - 2020
UR  - https://arxiv.org/abs/1506.04116
ID  - 1506.04116
ER  -