实取幂的初等理论

过去的50年来，实取幂初等理论被许多数学家进行了研究，本书呈现的就是该领域最新研究结果。早在1990年，A．Macintyre和A．J．Wilkie证明了实取幂理论和Schanuel猜想，并提出了取幂理论的完全递归公里化体系。本书作者不仅简化了取幂理论的递归公理化，而且还分析了模理论和一大类实闭域上的函数几何特性，并给出一般性结论。文中最后单独讨论了实取幂领域中的可判定性问题。