coherent frame or locale; radical ideal; prime spectrum; spectral space; support on a ring; Boolean powers
It follows from Stone Duality that Hochster's results on the relation between spectral spaces and prime spectra of rings translate into analogous, formally stronger results concerning coherent frames and frames of radical ideals of rings. Here, we show that the latter can actually be obtained without Stone Duality, proving them in Zermelo-Fraenkel set theory and thereby sharpening the original results of Hochster.
 Hochster M.: Prime ideal structure in commutative rings
. Trans. Amer. Math. Soc. 142 (1969), 43-60. MR 0251026
| Zbl 0184.29401
 Vermeulen J.J.C.: A localic proof of Hochster's Theorem. unpublished draft, University of Cape Town, 1992.