连续逻辑中可构造模型的唯一性
Uniqueness of constructible models in continuous logic
AI总结：
本文研究连续一阶逻辑中可构造模型的唯一性问题，证明任意完备连续一阶理论的可构造模型在同构意义下唯一。
摘要：
我们证明任意完备连续一阶理论的可构造模型在同构意义下是唯一的。
英文摘要：
We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
