Matches in SemOpenAlex for { <https://semopenalex.org/work/W2216341753> ?p ?o ?g. }
- W2216341753 abstract "Let RL denote the ring of continuous real-valued functions on a completely regular frame L . The support of an α ∈ RL is the closed quotient ↑(coz α ). We show that if supports are coz-quotients in L , then the set of functions with realcompact support is an ideal. If L satises the stronger condition that supports are C -quotients, then this ideal is the intersection of pure parts of the free maximal ideals of RL . The set of functions whose cozeroes are realcompact is always an ideal, which is free if and only if L is locally realcompact if and only if L is (isomorphic to) an open quotient of υ L . Further, this ideal is prime if and only if it is a free real maximal ideal if and only if υ L → L is a one-point extension of L . Keywords: Frame, ring of continuous real functions on a frame, support, realcompact support, locally realcompact frame, Lindelof support" @default.
- W2216341753 created "2016-06-24" @default.
- W2216341753 creator A5016195169 @default.
- W2216341753 date "2015-12-04" @default.
- W2216341753 modified "2023-09-25" @default.
- W2216341753 title "Ideals associated with realcompactness in pointfree function rings" @default.
- W2216341753 cites W1600231407 @default.
- W2216341753 cites W1964341109 @default.
- W2216341753 cites W1991793118 @default.
- W2216341753 cites W2003585974 @default.
- W2216341753 cites W2006001136 @default.
- W2216341753 cites W2010489709 @default.
- W2216341753 cites W2024166489 @default.
- W2216341753 cites W2039952393 @default.
- W2216341753 cites W2051838773 @default.
- W2216341753 cites W2056704974 @default.
- W2216341753 cites W2079214621 @default.
- W2216341753 cites W2106682579 @default.
- W2216341753 cites W2146840414 @default.
- W2216341753 cites W2161931935 @default.
- W2216341753 cites W2487483580 @default.
- W2216341753 cites W2724217441 @default.
- W2216341753 cites W2735063767 @default.
- W2216341753 cites W344468945 @default.
- W2216341753 cites W50318231 @default.
- W2216341753 cites W577268773 @default.
- W2216341753 doi "https://doi.org/10.2989/16073606.2015.1015648" @default.
- W2216341753 hasPublicationYear "2015" @default.
- W2216341753 type Work @default.
- W2216341753 sameAs 2216341753 @default.
- W2216341753 citedByCount "1" @default.
- W2216341753 countsByYear W22163417532015 @default.
- W2216341753 crossrefType "journal-article" @default.
- W2216341753 hasAuthorship W2216341753A5016195169 @default.
- W2216341753 hasConcept C111472728 @default.
- W2216341753 hasConcept C114614502 @default.
- W2216341753 hasConcept C118211362 @default.
- W2216341753 hasConcept C118615104 @default.
- W2216341753 hasConcept C126042441 @default.
- W2216341753 hasConcept C127413603 @default.
- W2216341753 hasConcept C138885662 @default.
- W2216341753 hasConcept C146978453 @default.
- W2216341753 hasConcept C178790620 @default.
- W2216341753 hasConcept C184992742 @default.
- W2216341753 hasConcept C185592680 @default.
- W2216341753 hasConcept C199422724 @default.
- W2216341753 hasConcept C202444582 @default.
- W2216341753 hasConcept C2776639384 @default.
- W2216341753 hasConcept C2779467367 @default.
- W2216341753 hasConcept C2780378348 @default.
- W2216341753 hasConcept C33923547 @default.
- W2216341753 hasConcept C41008148 @default.
- W2216341753 hasConcept C45804927 @default.
- W2216341753 hasConcept C64543145 @default.
- W2216341753 hasConcept C76155785 @default.
- W2216341753 hasConceptScore W2216341753C111472728 @default.
- W2216341753 hasConceptScore W2216341753C114614502 @default.
- W2216341753 hasConceptScore W2216341753C118211362 @default.
- W2216341753 hasConceptScore W2216341753C118615104 @default.
- W2216341753 hasConceptScore W2216341753C126042441 @default.
- W2216341753 hasConceptScore W2216341753C127413603 @default.
- W2216341753 hasConceptScore W2216341753C138885662 @default.
- W2216341753 hasConceptScore W2216341753C146978453 @default.
- W2216341753 hasConceptScore W2216341753C178790620 @default.
- W2216341753 hasConceptScore W2216341753C184992742 @default.
- W2216341753 hasConceptScore W2216341753C185592680 @default.
- W2216341753 hasConceptScore W2216341753C199422724 @default.
- W2216341753 hasConceptScore W2216341753C202444582 @default.
- W2216341753 hasConceptScore W2216341753C2776639384 @default.
- W2216341753 hasConceptScore W2216341753C2779467367 @default.
- W2216341753 hasConceptScore W2216341753C2780378348 @default.
- W2216341753 hasConceptScore W2216341753C33923547 @default.
- W2216341753 hasConceptScore W2216341753C41008148 @default.
- W2216341753 hasConceptScore W2216341753C45804927 @default.
- W2216341753 hasConceptScore W2216341753C64543145 @default.
- W2216341753 hasConceptScore W2216341753C76155785 @default.
- W2216341753 hasLocation W22163417531 @default.
- W2216341753 hasOpenAccess W2216341753 @default.
- W2216341753 hasPrimaryLocation W22163417531 @default.
- W2216341753 hasRelatedWork W138898784 @default.
- W2216341753 hasRelatedWork W1504524783 @default.
- W2216341753 hasRelatedWork W1971933199 @default.
- W2216341753 hasRelatedWork W1980538408 @default.
- W2216341753 hasRelatedWork W1983444112 @default.
- W2216341753 hasRelatedWork W1984212518 @default.
- W2216341753 hasRelatedWork W1987317589 @default.
- W2216341753 hasRelatedWork W2004164545 @default.
- W2216341753 hasRelatedWork W2017883939 @default.
- W2216341753 hasRelatedWork W2024166489 @default.
- W2216341753 hasRelatedWork W2031095002 @default.
- W2216341753 hasRelatedWork W2050750535 @default.
- W2216341753 hasRelatedWork W2059365214 @default.
- W2216341753 hasRelatedWork W2082236798 @default.
- W2216341753 hasRelatedWork W2086056706 @default.
- W2216341753 hasRelatedWork W2168215277 @default.
- W2216341753 hasRelatedWork W2768022741 @default.
- W2216341753 hasRelatedWork W2907534690 @default.
- W2216341753 hasRelatedWork W2996142811 @default.
- W2216341753 hasRelatedWork W3041231520 @default.
- W2216341753 isParatext "false" @default.