TY - RPRT TI - Subcomplete forcing principles and definable well-orders AU - Gunter Fuchs PY - 2018 UR - https://arxiv.org/abs/1708.08167 ID - 1708.08167 ER -