T10

18 Outubro 2019, 10:30 • Mário Jorge Edmundo

O corpo totalmente ordenado dos reais satisfaz o princípio do supremo; monomorfismo do corpo totalmente ordenado dos racionais para um corpo totalmente ordenado qualquer; um corpo totalmente ordenado que satisfaz o princípio do supremo é Arquimedeano; num corpo totalmente ordenado Arquimedeano os racionais são densos; todo corpo totalmente ordenado que satisfaz o princípio do supremo é isomorfo ao corpo totalmente ordenado dos reais (unicidade dos reais).