错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Inversion in P-Computable Fields

  • Pavel Alaev

摘要

We consider fields computable in polynomial time (P-computable). We prove that under some assumptions about a P-computable field \( (A, +, \cdot ) \) of characteristic 0, there exists a P-computable field \( (B, +, \cdot ) \cong (A, +, \cdot ) \) , in which \(x^{-1}\) is not a primitive recursive function. In particular, this holds for the field \( \mathbb Q \) of rational numbers.