Gracias Carlos.
Creo que ya alguien habia comentado este ejemplo en el foro, pero yo lo olvidé.
Es el ejemplo de las funciones racionales que se completan con las sucesiones de Cauchy.
La relación de orden es aquella que define como "positivos" a los elementos p/q, tal que el coeficiente líder de los polinomios p, q, es positivo al mismo tiempo (o ambos negativos, claro está).
El cuerpo ordenado resultante es completo, pues se lo ha completado con las sucesiones de Cauchy que faltaban, y sin embargo no vale la propiedad del supremo, y así no puede valer tampoco la propiedad arquimediana.
Saludos
