Real spectra and ℓ-spectra of algebras and vector lattices over countable fields

v4 is the final versionInternational audienceIn an earlier paper we established that every second countable, completely normal spectral space is homeomorphic to the ℓ-spectrum of some Abelian ℓ-group. We extend that result to ℓ-spectra of vector lattices over any countable totally ordered division ring k. Extending our original machinery, about finite lattices of polyhedra, from linear to affine and allowing relativizations to convex subsets, then invoking Baro's Normal Triangulation Theorem, we obtain the following result:Theorem. For every countable formally real field k, every second countable, completely normal spectral space is homeomorphic to the real spectrum of some commutative unital k-algebra.The countability assumption on k is necessary: there exists a second countable, completely normal spectral space that cannot be embedded, as a spectral subspace, into either the ℓ-spectrum of any right vector lattice over an uncountable directed partially ordered division ring, or the real spectrum of any commutative unital algebra over an uncountable field