Abstract

The familiar 1940 result of M. H. Stone characterizing the rings of real-valued continuous functions on compact Hausdorff spaces as certain partially ordered rings is obtained here in its pointfree form, replacing the spaces in question by appropriate frames, which avoids the classical recourse to the choice-dependent existence of maximal ideals. The main tools for this are a direct proof that the partially ordered rings involved are f-rings, the pointfree notion of rings of real-valued continuous functions, and the representation of archimedean bounded f-rings as rings of that kind.KeywordsPrime IdealMaximal IdealRing HomomorphismCompact Hausdorff SpaceRegular FrameThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call