论文标题
在全球田地的霍明型子环中添加和分裂性的存在性可决定性
Existential decidability for addition and divisibility in holomorphy subrings of global fields
论文作者
论文摘要
我们研究了决定线性方程系统是否以及变量上的可驱缘性条件的问题，对全局磁场的全体形状子环具有解决方案。当我们允许在一组乘坐的位置允许两极时，我们就会获得可确定性结果，并且在有限的地方集合时产生了不可证明的结果。
We investigate the problem of deciding whether a system of linear equations, together with divisibility conditions on the variables, has a solution over holomorphy subrings of global fields. We obtain decidability results when we allow poles at a cofinite set of places, and undecidability results when at a finite set of places.
