[Carlos Ivorra]

Se utiliza que todo cuerpo arquimediano es isomorfo a un subcuerpo de \( \mathbb R \), pero el teorema 1.43 de análisis prueba que lo es como cuerpo métrico, no como cuerpo ordenado. (El 7.68 también utiilizaba)

Sí, eso no está bien. No lo he rectificado porque habría que reordenar algunas cosas, y precisamente ahora estoy trabajando en una nueva versión de mis libros de Álgebra, Geometría y Análisis que tengan en cuenta los cuatro libros más elementales que publiqué hace un tiempo de Introducción a la teoría algebraica de números, Introducción a la teoría analítica de números, introducción a la geometría euclídea e Introducción al cálculo diferencial (eliminando material que ya aparece en esos libros y añadiendo nuevos ejemplos y aplicaciones). Te adjunto el capítulo I de la nueva versión del libro de análisis. La prueba de que todo cuerpo ordenado arquimediano es isomorfo a un subcuerpo de cualquier cuerpo ordenado arquimediano completo la tienes en el teorema 1.12

[Ezequiel Rangel]

Qué bien, un adelanto.

Y te felicito por esos libros, después de terminar el capítulo de grupos empecé con el de introducción a la teoría algebraica de números y es muy divertido de leer, aunque solo he leído los primeros cuatro capítulos.