×

场论中可决定的理论片段。 arXiv:1912.09155

预印本,arXiv:1912.09155[math.LO](2019)。
小结:本文证明了特征为0的Hilbertian域和完备Hilbert域的所有理论都是可判定的。我们还证明了特征为0的Hilbertian场、特征为0、PAC场和PAC场的所有理论都是可判定的。

MSC公司:

03B25号 理论和句子集的可决定性
03C60型 模型理论代数
2005年11月 可决定性(数字理论方面)
12升05 可判定性与场理论
BibTeX公司 引用
全文: arXiv公司
arXiv数据来自arXiv OAI-PMH API.如果你发现了错误,请直接向arXiv报告.