TY - RPRT TI - Downward categoricity from a successor inside a good frame AU - Sebastien Vasey PY - 2016 DO - 10.1016/j.apal.2016.10.003 UR - https://arxiv.org/abs/1510.03780 ID - 1510.03780 ER -