Scifaro

中文

标量乘法何时可判定？

逻辑 2019-03-25 v2

作者: Philipp Hieronymi

在 arXiv 上查看 ↗ PDF ↗

摘要

设 $K$ 为 $\mathbb{R}$ 的子域。将 $\mathbb{R}$ 视为有序 $K$ -向量空间并用 $\mathbb{Z}$ 的谓词扩张的理论是可判定的，当且仅当 $K$ 是实二次域。

关键词

标量乘法可判定性有序K-向量空间实二次域整数谓词模型论

引用

@article{arxiv.1505.08055,
  title  = {When is scalar multiplication decidable?},
  author = {Philipp Hieronymi},
  journal= {arXiv preprint arXiv:1505.08055},
  year   = {2019}
}