TY - RPRT TI - Recursive logic frames AU - Saharon Shelah AU - Jouko Väänänen PY - 2004 UR - https://arxiv.org/abs/math/0405016 ID - math/0405016 ER -