加载中…
We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.

生成讲解博客的中文版本

生成AI智能校验的中文版本