Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238055469> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4238055469 endingPage "394" @default.
- W4238055469 startingPage "385" @default.
- W4238055469 abstract "Various aspects of the prime spectrum of a distributive continuous lattice have been discussed extensively in Hofmann-Lawson [ 7 ]. This note presents a perhaps optimally direct and self-contained proof of one of the central results in [ 7 ] (Theorem 9.6), the duality between distributive continuous lattices and locally compact sober spaces, and then shows how the familiar dualities of complete atomic Boolean algebras and bounded distributive lattices derive from it, as well as a new duality for all continuous lattices. As a biproduct, we also obtain a characterization of the topologies of compact Hausdorff spaces. Our approach, somewhat differently from [ 7 ], takes the open prime filters rather than the prime elements as the points of the dual space. This appears to have conceptual advantages since filters enter the discussion naturally, besides being a well-established tool in many similar situations." @default.
- W4238055469 created "2022-05-12" @default.
- W4238055469 creator A5017448976 @default.
- W4238055469 date "1980-04-01" @default.
- W4238055469 modified "2023-10-01" @default.
- W4238055469 title "The Duality of Distributive Continuous Lattices" @default.
- W4238055469 doi "https://doi.org/10.4153/cjm-1980-030-3" @default.
- W4238055469 hasPublicationYear "1980" @default.
- W4238055469 type Work @default.
- W4238055469 citedByCount "17" @default.
- W4238055469 countsByYear W42380554692013 @default.
- W4238055469 countsByYear W42380554692020 @default.
- W4238055469 countsByYear W42380554692021 @default.
- W4238055469 crossrefType "journal-article" @default.
- W4238055469 hasAuthorship W4238055469A5017448976 @default.
- W4238055469 hasBestOaLocation W42380554691 @default.
- W4238055469 hasConcept C114614502 @default.
- W4238055469 hasConcept C11821877 @default.
- W4238055469 hasConcept C118615104 @default.
- W4238055469 hasConcept C121332964 @default.
- W4238055469 hasConcept C124952713 @default.
- W4238055469 hasConcept C142362112 @default.
- W4238055469 hasConcept C184992742 @default.
- W4238055469 hasConcept C191399826 @default.
- W4238055469 hasConcept C192606457 @default.
- W4238055469 hasConcept C202444582 @default.
- W4238055469 hasConcept C24890656 @default.
- W4238055469 hasConcept C2778023678 @default.
- W4238055469 hasConcept C2780980858 @default.
- W4238055469 hasConcept C2781204021 @default.
- W4238055469 hasConcept C31498916 @default.
- W4238055469 hasConcept C33923547 @default.
- W4238055469 hasConcept C84540187 @default.
- W4238055469 hasConceptScore W4238055469C114614502 @default.
- W4238055469 hasConceptScore W4238055469C11821877 @default.
- W4238055469 hasConceptScore W4238055469C118615104 @default.
- W4238055469 hasConceptScore W4238055469C121332964 @default.
- W4238055469 hasConceptScore W4238055469C124952713 @default.
- W4238055469 hasConceptScore W4238055469C142362112 @default.
- W4238055469 hasConceptScore W4238055469C184992742 @default.
- W4238055469 hasConceptScore W4238055469C191399826 @default.
- W4238055469 hasConceptScore W4238055469C192606457 @default.
- W4238055469 hasConceptScore W4238055469C202444582 @default.
- W4238055469 hasConceptScore W4238055469C24890656 @default.
- W4238055469 hasConceptScore W4238055469C2778023678 @default.
- W4238055469 hasConceptScore W4238055469C2780980858 @default.
- W4238055469 hasConceptScore W4238055469C2781204021 @default.
- W4238055469 hasConceptScore W4238055469C31498916 @default.
- W4238055469 hasConceptScore W4238055469C33923547 @default.
- W4238055469 hasConceptScore W4238055469C84540187 @default.
- W4238055469 hasIssue "2" @default.
- W4238055469 hasLocation W42380554691 @default.
- W4238055469 hasOpenAccess W4238055469 @default.
- W4238055469 hasPrimaryLocation W42380554691 @default.
- W4238055469 hasRelatedWork W1997003055 @default.
- W4238055469 hasRelatedWork W2012231710 @default.
- W4238055469 hasRelatedWork W2082150991 @default.
- W4238055469 hasRelatedWork W2407327313 @default.
- W4238055469 hasRelatedWork W3214036638 @default.
- W4238055469 hasRelatedWork W4225777185 @default.
- W4238055469 hasRelatedWork W4234914587 @default.
- W4238055469 hasRelatedWork W4238055469 @default.
- W4238055469 hasRelatedWork W4280559694 @default.
- W4238055469 hasRelatedWork W4307107840 @default.
- W4238055469 hasVolume "32" @default.
- W4238055469 isParatext "false" @default.
- W4238055469 isRetracted "false" @default.
- W4238055469 workType "article" @default.