TY - RPRT TI - Adding successor: A transfer theorem for separation and covering AU - Thomas Place AU - Marc Zeitoun PY - 2017 UR - https://arxiv.org/abs/1709.10052 ID - 1709.10052 ER -