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 ?![]()
-----