TY - RPRT TI - Strongly compact cardinals and ordinal definability AU - Gabriel Goldberg PY - 2021 UR - https://arxiv.org/abs/2107.00513 ID - 2107.00513 ER -