In Connes work on the Riemann Hypothesis he talks about constructing $\overline{\text{Spec}\mathbb{Z}}$ as a curve over the field with one element. I just want to know what Spec means. Is the same as spectrum from algebraic geometry?