symmetric monoidal (∞,1)-category of spectra
Any non-trivial absolute value on the rational numbers is equivalent either to the standard real absolute value, or to the p-adic absolute value.
(Ostrowski)
Any complete archimedean valued field is, as an associative algebra and as a topological space, isomorphic to either the real numbers or the complex numbers.
In the course notes
Ostrowki’s theorem is discussed around p. 23.