AULA 9

18 Outubro 2017, 08:00 Fernando Ferreira

Corpos ordenados têm característica zero (e, como consequência, "contêm" os racionais). A noção de corpo (ordenado) arquimediano como um corpo em que entre dois quaisquer elementos há sempre um racional.

O teorema de Dedekind-Bernstein (vulgo Cantor-Schroeder-Bernstein).