TY - RPRT TI - Uniqueness of constructible models in continuous logic AU - James E. Hanson PY - 2025 UR - https://arxiv.org/abs/2501.02679 ID - 2501.02679 ER -