Displaying similar documents to “A spectral construction of a treed domain that is not going-down”

Non-axiomatizability of real spectra in λ

Timothy Mellor, Marcus Tressl (2012)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

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.