TY - RPRT TI - Extending to a model structure is not a first-order property AU - Jean-Marie Droz AU - Inna Zakharevich PY - 2021 UR - https://arxiv.org/abs/1410.6127 ID - 1410.6127 ER -