TY - RPRT TI - Metastable convergence and logical compactness AU - Xavier Caicedo AU - Eduardo Duenez AU - Jose Iovino PY - 2019 UR - https://arxiv.org/abs/1907.02398 ID - 1907.02398 ER -