Uniqueness of constructible models in continuous logic
arXiv:2501.02679
Abstract
We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.
7 pages
arXiv:2501.02679
We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.
7 pages