Uniqueness of constructible models in continuous logic
Logic
2025-01-07 v1
Abstract
We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.
Keywords
Cite
@article{arxiv.2501.02679,
title = {Uniqueness of constructible models in continuous logic},
author = {James E. Hanson},
journal= {arXiv preprint arXiv:2501.02679},
year = {2025}
}
Comments
7 pages