TY - RPRT TI - Practical and Structural Infinitary Expansions AU - Nadav Meir AU - Aris Papadopoulos PY - 2023 UR - https://arxiv.org/abs/2212.08027 ID - 2212.08027 ER -