TY - RPRT TI - Small Embedding Characterizations for Large Cardinals AU - Peter Holy AU - Philipp Lücke AU - Ana Njegomir PY - 2017 UR - https://arxiv.org/abs/1708.06103 ID - 1708.06103 ER -