TY - RPRT TI - The Equivalence Extension Property and Model Structures AU - Christian Sattler PY - 2017 UR - https://arxiv.org/abs/1704.06911 ID - 1704.06911 ER -