TY - RPRT TI - Saturated Models for the Working Model Theorist AU - Yatir Halevi AU - Itay Kaplan PY - 2021 UR - https://arxiv.org/abs/2112.02774 ID - 2112.02774 ER -