Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952156870> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2952156870 abstract "We present a constructive proof of the Stone-Yosida representation theorem for Riesz spaces motivated by considerations from formal topology. This theorem is used to derive a representation theorem for f-algebras. In turn, this theorem implies the Gelfand representation theorem for C*-algebras of operators on Hilbert spaces as formulated by Bishop and Bridges. Our proof is shorter, clearer, and we avoid the use of approximate eigenvalues." @default.
- W2952156870 created "2019-06-27" @default.
- W2952156870 creator A5043123968 @default.
- W2952156870 creator A5087100539 @default.
- W2952156870 date "2008-08-20" @default.
- W2952156870 modified "2023-09-27" @default.
- W2952156870 title "Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems" @default.
- W2952156870 cites W1985511348 @default.
- W2952156870 cites W2012395494 @default.
- W2952156870 cites W2015500481 @default.
- W2952156870 cites W2046449513 @default.
- W2952156870 cites W2066205659 @default.
- W2952156870 cites W2074009310 @default.
- W2952156870 cites W2083391867 @default.
- W2952156870 cites W2121405634 @default.
- W2952156870 cites W2121752976 @default.
- W2952156870 cites W2130048293 @default.
- W2952156870 hasPublicationYear "2008" @default.
- W2952156870 type Work @default.
- W2952156870 sameAs 2952156870 @default.
- W2952156870 citedByCount "0" @default.
- W2952156870 crossrefType "posted-content" @default.
- W2952156870 hasAuthorship W2952156870A5043123968 @default.
- W2952156870 hasAuthorship W2952156870A5087100539 @default.
- W2952156870 hasConcept C111919701 @default.
- W2952156870 hasConcept C113675457 @default.
- W2952156870 hasConcept C114614502 @default.
- W2952156870 hasConcept C118615104 @default.
- W2952156870 hasConcept C136119220 @default.
- W2952156870 hasConcept C17744445 @default.
- W2952156870 hasConcept C184720557 @default.
- W2952156870 hasConcept C199539241 @default.
- W2952156870 hasConcept C202444582 @default.
- W2952156870 hasConcept C202854965 @default.
- W2952156870 hasConcept C2776230367 @default.
- W2952156870 hasConcept C2776359362 @default.
- W2952156870 hasConcept C2778701210 @default.
- W2952156870 hasConcept C33923547 @default.
- W2952156870 hasConcept C41008148 @default.
- W2952156870 hasConcept C62799726 @default.
- W2952156870 hasConcept C94625758 @default.
- W2952156870 hasConcept C98045186 @default.
- W2952156870 hasConceptScore W2952156870C111919701 @default.
- W2952156870 hasConceptScore W2952156870C113675457 @default.
- W2952156870 hasConceptScore W2952156870C114614502 @default.
- W2952156870 hasConceptScore W2952156870C118615104 @default.
- W2952156870 hasConceptScore W2952156870C136119220 @default.
- W2952156870 hasConceptScore W2952156870C17744445 @default.
- W2952156870 hasConceptScore W2952156870C184720557 @default.
- W2952156870 hasConceptScore W2952156870C199539241 @default.
- W2952156870 hasConceptScore W2952156870C202444582 @default.
- W2952156870 hasConceptScore W2952156870C202854965 @default.
- W2952156870 hasConceptScore W2952156870C2776230367 @default.
- W2952156870 hasConceptScore W2952156870C2776359362 @default.
- W2952156870 hasConceptScore W2952156870C2778701210 @default.
- W2952156870 hasConceptScore W2952156870C33923547 @default.
- W2952156870 hasConceptScore W2952156870C41008148 @default.
- W2952156870 hasConceptScore W2952156870C62799726 @default.
- W2952156870 hasConceptScore W2952156870C94625758 @default.
- W2952156870 hasConceptScore W2952156870C98045186 @default.
- W2952156870 hasLocation W29521568701 @default.
- W2952156870 hasOpenAccess W2952156870 @default.
- W2952156870 hasPrimaryLocation W29521568701 @default.
- W2952156870 hasRelatedWork W1014547424 @default.
- W2952156870 hasRelatedWork W1537151480 @default.
- W2952156870 hasRelatedWork W1972746651 @default.
- W2952156870 hasRelatedWork W2002411855 @default.
- W2952156870 hasRelatedWork W2014332583 @default.
- W2952156870 hasRelatedWork W2032240055 @default.
- W2952156870 hasRelatedWork W2039801349 @default.
- W2952156870 hasRelatedWork W2050152798 @default.
- W2952156870 hasRelatedWork W2052784533 @default.
- W2952156870 hasRelatedWork W2054457993 @default.
- W2952156870 hasRelatedWork W2121752976 @default.
- W2952156870 hasRelatedWork W2478276311 @default.
- W2952156870 hasRelatedWork W2494921584 @default.
- W2952156870 hasRelatedWork W2554233620 @default.
- W2952156870 hasRelatedWork W296254518 @default.
- W2952156870 hasRelatedWork W3124426165 @default.
- W2952156870 hasRelatedWork W3140984347 @default.
- W2952156870 hasRelatedWork W610827 @default.
- W2952156870 hasRelatedWork W837055914 @default.
- W2952156870 hasRelatedWork W2330603906 @default.
- W2952156870 isParatext "false" @default.
- W2952156870 isRetracted "false" @default.
- W2952156870 magId "2952156870" @default.
- W2952156870 workType "article" @default.