Esto surgió en una conversación con Pete L. Clark sobre esta cuestión en la completa ordenó campos. He argumentado que en cada secuencia de Cauchy en el hyperreal campo de es el tiempo constante, por lo tanto convergente; preguntó si el mismo es cierto para arbitrario de Cauchy redes en $\mathbb{R}^*$. No estoy seguro de cómo deducir esto de la transferencia de principio ("cada neto de Cauchy converge" es un muy segundo orden, instrucción) o de la ultraproduct condición de $\mathbb{R}^*$. ¿Alguien sabe la respuesta?
(Estoy de acuerdo en que si $f: \mathbb{N}^* \to \mathbb{R}^*$ es un interno de Cauchy neto, a continuación, $f$ tiene un límite.)