专栏名称: 哲学园
哲学是爱智慧, 爱智慧乃是对心灵的驯化。 这里是理念的在场、诗意的栖居地。 关注哲学园,认识你自己。
今天看啥  ›  专栏  ›  哲学园

关于 Ax-Kochen-Ershov 转移原理

哲学园  · 公众号  · 哲学  · 2022-06-27 06:00
转自:FudanLogic如涉版权请加编辑微信iwish89联系哲学园鸣谢编者按:暑期学校下周就要开始啦!感到内容太难?基础薄弱能否参加?打算预习却不知从何入手?不用担心!关于叶谨赫老师赋值域的课程,复旦大学逻辑学研究中心的姚宁远老师贴心地为大家准备了相关内容引入,让我们一起跟着姚老师来预习吧! 时的 - 进制数关于 Ax-Kochen-Ershov 转移原理我们平常日常采用-进制的计数方式。例如表示我们也可以-进制来表示,其-进制表示为,即设的-进制表示为,的-进制表示为(假设),要比较和的大小,我们需要先比较和的大小,若,则从首位开始,依次比较每个和,直到遇到第一个使得,此时,如果,则,而指标越大,说明与的差距越小。我们也可以将之前的记法写作,然后约定的“权重”最高,次之,依次类推。这一点类似于小数中



文章原文内容无法展示,请购买VIP后获取原文链接; 或者 使用第三方RSS订阅工具获取原文链接