TY - RPRT TI - A construction of algebraizable formal models AU - Desmond Coles AU - Netanel Friedenberg PY - 2023 UR - https://arxiv.org/abs/2303.13646 ID - 2303.13646 ER -