论文标题
公制模型理论中确定性的有效版本
An effective version of definability in metric model theory
论文作者
论文摘要
在本文中，定义和表征了可计算的可定义谓词。然后，事实证明，有效呈现的语言中的每个可分开的无限二维希尔伯特结构都是可计算的。此外，这些结构中的每个可定义谓词都是可计算的。
In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable predicate in these structures is computable.
