通过稀疏谓词对 Presburger 算术的远距扩张
逻辑
2025-09-03 v3 数论
摘要
我们证明了对于所有同余周期稀疏谓词 ，结构 是远距的 (distal)。为此，我们为理论的代表公式构造了强诚实定义 (strong honest definitions)，提供了具体远距分解的罕见实例。
引用
@article{arxiv.2401.07998,
title = {Distal expansions of Presburger arithmetic by a sparse predicate},
author = {Mervyn Tong},
journal= {arXiv preprint arXiv:2401.07998},
year = {2025}
}
备注
24 pages; proof restructured to give explicit strong honest definitions