Every real closed field has an integer part
Every real closed field has an integer part
复制标题
每个实闭域都有一个整数部分
DOI：
--
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
J. Ressayre
中科院分区：
文献类型：
--
作者：
M. Mourgues;J. Ressayre
令我们称一个有序域的一个整数部分为任意子环，使得域的每个元素与环的唯一元素的距离小于i。我们证明了每个实闭数域都有一个整数部分。
Abstract Let us call an integer part of an ordered field any subring such that every element of the field lies at distance less than I from a unique element of the ring. We show that every real closed field has an integer part.