Real holomorphy rings and the complete real spectrum
The complete real spectrum of a commutative ring with is introduced. Points of the complete real spectrum are triples , where is a real prime of , is a real valuation of the field and is an ordering of the residue field of . is shown to have the structure of a spectral space in the sense of Hochster [5]. The specialization relation on is considered. Special attention is paid to the case where the ring in question is a real holomorphy ring.