Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962697717> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2962697717 abstract "We generalize the concept of the pointwise supremum of real-valued functions to the pointfree setting. The concept itself admits a direct and intuitive formulation which makes no mention of points. But our aim here is to investigate pointwise suprema of subsets of RLRL, the family of continuous real valued functions on a locale, or pointfree space.Thus our setting is the category W of archimedean lattice-ordered groups (l-groups) with designated weak order unit, with morphisms which preserve the group and lattice operations and take units to units. This is an appropriate context for this investigation because every W-object can be canonically represented as a subobject of some RLRL.We show that the suprema which are pointwise in the Madden representation can be characterized purely algebraically. They are precisely the suprema which are context-free, in the sense of being preserved by every W homomorphism out of G. We show that closure under such suprema characterizes the W-kernels among the convex l-subgroups. Finally, we prove that all existing joins in a W-object G are pointwise iff its Madden frame L is boolean, and that all existing countable joins in G are pointwise if L is a P-frame, but not conversely.This leads up to the appropriate analog of the Nakano–Stone Theorem: a (completely regular) locale L has the feature that RLRL is conditionally pointwise complete (σ -complete), i.e., every bounded (countable) family from RLRL has a pointwise supremum in RLRL, iff L is boolean (a P-locale).We adopt a maximally broad definition of unconditional pointwise completeness (σ-completeness): a divisible W-object G is pointwise complete (σ-complete) if it contains a pointwise supremum for every subset which has a supremum in any extension. We show that the pointwise complete (σ-complete) W-objects are those of the form RLRL for L a boolean locale (P-locale). Finally, we show that a W-object G is pointwise σ-complete iff it is epicomplete." @default.
- W2962697717 created "2019-07-30" @default.
- W2962697717 creator A5024360226 @default.
- W2962697717 creator A5029128543 @default.
- W2962697717 creator A5059620852 @default.
- W2962697717 date "2015-11-01" @default.
- W2962697717 modified "2023-09-26" @default.
- W2962697717 title "Pointfree pointwise suprema in unital archimedean ℓ-groups" @default.
- W2962697717 cites W1534787852 @default.
- W2962697717 cites W1569070404 @default.
- W2962697717 cites W1576904948 @default.
- W2962697717 cites W1965099434 @default.
- W2962697717 cites W1969336559 @default.
- W2962697717 cites W1978482739 @default.
- W2962697717 cites W1978933941 @default.
- W2962697717 cites W1983437996 @default.
- W2962697717 cites W1988168931 @default.
- W2962697717 cites W2002601574 @default.
- W2962697717 cites W2027479076 @default.
- W2962697717 cites W2046608426 @default.
- W2962697717 cites W2063053726 @default.
- W2962697717 cites W2077204451 @default.
- W2962697717 cites W2088027070 @default.
- W2962697717 cites W2268346039 @default.
- W2962697717 cites W2326155258 @default.
- W2962697717 cites W2572335131 @default.
- W2962697717 cites W575135045 @default.
- W2962697717 cites W577268773 @default.
- W2962697717 cites W587951759 @default.
- W2962697717 doi "https://doi.org/10.1016/j.jpaa.2015.03.006" @default.
- W2962697717 hasPublicationYear "2015" @default.
- W2962697717 type Work @default.
- W2962697717 sameAs 2962697717 @default.
- W2962697717 citedByCount "4" @default.
- W2962697717 countsByYear W29626977172017 @default.
- W2962697717 countsByYear W29626977172018 @default.
- W2962697717 countsByYear W29626977172019 @default.
- W2962697717 crossrefType "journal-article" @default.
- W2962697717 hasAuthorship W2962697717A5024360226 @default.
- W2962697717 hasAuthorship W2962697717A5029128543 @default.
- W2962697717 hasAuthorship W2962697717A5059620852 @default.
- W2962697717 hasBestOaLocation W29626977172 @default.
- W2962697717 hasConcept C114614502 @default.
- W2962697717 hasConcept C118615104 @default.
- W2962697717 hasConcept C134306372 @default.
- W2962697717 hasConcept C202444582 @default.
- W2962697717 hasConcept C2777984123 @default.
- W2962697717 hasConcept C33923547 @default.
- W2962697717 hasConcept C4042151 @default.
- W2962697717 hasConcept C95611797 @default.
- W2962697717 hasConceptScore W2962697717C114614502 @default.
- W2962697717 hasConceptScore W2962697717C118615104 @default.
- W2962697717 hasConceptScore W2962697717C134306372 @default.
- W2962697717 hasConceptScore W2962697717C202444582 @default.
- W2962697717 hasConceptScore W2962697717C2777984123 @default.
- W2962697717 hasConceptScore W2962697717C33923547 @default.
- W2962697717 hasConceptScore W2962697717C4042151 @default.
- W2962697717 hasConceptScore W2962697717C95611797 @default.
- W2962697717 hasLocation W29626977171 @default.
- W2962697717 hasLocation W29626977172 @default.
- W2962697717 hasOpenAccess W2962697717 @default.
- W2962697717 hasPrimaryLocation W29626977171 @default.
- W2962697717 hasRelatedWork W151207354 @default.
- W2962697717 hasRelatedWork W1607094678 @default.
- W2962697717 hasRelatedWork W2014896973 @default.
- W2962697717 hasRelatedWork W2028129911 @default.
- W2962697717 hasRelatedWork W2035401397 @default.
- W2962697717 hasRelatedWork W2063372566 @default.
- W2962697717 hasRelatedWork W2088741777 @default.
- W2962697717 hasRelatedWork W2124021238 @default.
- W2962697717 hasRelatedWork W2189235550 @default.
- W2962697717 hasRelatedWork W2235361089 @default.
- W2962697717 hasRelatedWork W2322698194 @default.
- W2962697717 hasRelatedWork W2502120213 @default.
- W2962697717 hasRelatedWork W2779926730 @default.
- W2962697717 hasRelatedWork W2891845827 @default.
- W2962697717 hasRelatedWork W2953291487 @default.
- W2962697717 hasRelatedWork W3005796244 @default.
- W2962697717 hasRelatedWork W3037921962 @default.
- W2962697717 hasRelatedWork W3046093964 @default.
- W2962697717 hasRelatedWork W3085158094 @default.
- W2962697717 hasRelatedWork W3151940402 @default.
- W2962697717 isParatext "false" @default.
- W2962697717 isRetracted "false" @default.
- W2962697717 magId "2962697717" @default.
- W2962697717 workType "article" @default.