度量模型论中可定义性的一个有效版本
计算机科学中的逻辑
2020-11-12 v2
摘要
本文定义并刻画了可计算定义谓词。随后证明，在有效给出的语言中，每个可分的无限维 Hilbert 结构都是可计算的。此外，这些结构中的每个可定义谓词都是可计算的。
引用
@article{arxiv.2003.02087,
title = {An effective version of definability in metric model theory},
author = {Nazanin Roshandel Tavana},
journal= {arXiv preprint arXiv:2003.02087},
year = {2020}
}
备注
It was not accepted