Scifaro

中文

迹可定义性 III：模型 $T$ 上的无限维空间

逻辑 2026-05-13 v1

作者: Erik Walsberg

在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明，对于多个模型论感兴趣的理论 $T^*$ ，存在一个更简单的理论 $T$ 和 $\kappa \ge \aleph_0$ ，使得 $T^*$ 等价于 $T$ 模型上的 $\kappa$ 维空间的理论。

关键词

迹可定义性模型论无限维空间理论等价

引用

@article{arxiv.2605.12337,
  title  = {Trace definability III: Infinite dimensional space over a model of $T$},
  author = {Erik Walsberg},
  journal= {arXiv preprint arXiv:2605.12337},
  year   = {2026}
}

备注

This is the third in a series of papers consisting of cleaned up and strengthened versions of parts of arXiv:2504.05566v1