On sait que tout corps commutatif K totalement ordonné et posédant la propriété de la borne supérieure est isomorphe à R, l'isomorphie respectant la relation d'ordre.

Que peut-on dire d'un corps (non nécessairement commutatif) K totalement ordonné et posédant la propriété de la borne supérieure ?