n - Infinite Forcing via Infinite Forcing
We show that the property of a spectral space, to be a spectral subspace of the real spectrum of a commutative ring, is not expressible in the infinitary first order language of its defining lattice. This generalises a result of Delzell and Madden which says that not every completely normal spectral space is a real spectrum.