A teoria das ordens lineares densas sem extremos é completa. O argumento de vai-vem de Cantor para mostrar que duas ordens lineares densas sem extremos numeráveis são isomorfas.

Brevíssima discussão sobre a secção do "Nullstellensatz" (que não vai ser dada). O princípo de transferência de Lefschetz.