TY - RPRT TI - Interpolation in model theory AU - Jouko Väänänen PY - 2025 UR - https://arxiv.org/abs/2507.19097 ID - 2507.19097 ER -