原名:Types in o-minimal theories
作品简介:我感谢迪纳卡(Dinakar)所举的例子以及他们对有序域的最小展开,那么要么每个可定义的函数都是幂函数,要么使用幂函数来定义一个称为“平稳性”的有用概念,当……

资源下载
VIP免费升级VIP
显示验证码

社交账号快速登录