第VIII组上的丢番图几何：稳定性

摘要

本文是关于自由群和双曲群中方程组解集的结构、此类集的投影（丢番图集）以及自由群和抛物群上可定义集的结构的序列中的第八篇。在第八篇文章中，我们使用筛法的一个修正，该筛法用于证明自由群理论中的量词消去，以证明自由和无挠（Gromov）双曲群是稳定的。