Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892096859> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2892096859 abstract "It has been shown that for a dcpo P, the Scott closure of Gamma_c(P) in Gamma(P) is a consistent Hoare powerdomain of P, where Gamma_c(P) is the family of nonempty, consistent and Scott closed subsets of P, and Gamma(P) is the collection of all nonempty Scott closed subsets of P. In this paper, by introducing the notion of a vee-existing set, we present a direct characterization of the consistent Hoare powerdomain: the set of all vee-existing Scott closed subsets of a dcpo P is exactly the consistent Hoare powerdomain of P. We also introduce the concept of an F-Scott closed set over each dcpo-vee-semilattice. We prove that the Scott closed set lattice of a dcpo P is isomorphic to the family of all F-Scott closed sets of P's consistent Hoare powerdomain." @default.
- W2892096859 created "2018-09-27" @default.
- W2892096859 creator A5006061787 @default.
- W2892096859 creator A5009318195 @default.
- W2892096859 creator A5021179427 @default.
- W2892096859 date "2018-09-03" @default.
- W2892096859 modified "2023-10-06" @default.
- W2892096859 title "A characterization of the consistent Hoare powerdomains over dcpos" @default.
- W2892096859 doi "https://doi.org/10.48550/arxiv.1809.00772" @default.
- W2892096859 hasPublicationYear "2018" @default.
- W2892096859 type Work @default.
- W2892096859 sameAs 2892096859 @default.
- W2892096859 citedByCount "0" @default.
- W2892096859 crossrefType "posted-content" @default.
- W2892096859 hasAuthorship W2892096859A5006061787 @default.
- W2892096859 hasAuthorship W2892096859A5009318195 @default.
- W2892096859 hasAuthorship W2892096859A5021179427 @default.
- W2892096859 hasBestOaLocation W28920968591 @default.
- W2892096859 hasConcept C118615104 @default.
- W2892096859 hasConcept C120665830 @default.
- W2892096859 hasConcept C121332964 @default.
- W2892096859 hasConcept C132170107 @default.
- W2892096859 hasConcept C146834321 @default.
- W2892096859 hasConcept C162324750 @default.
- W2892096859 hasConcept C164953516 @default.
- W2892096859 hasConcept C177264268 @default.
- W2892096859 hasConcept C199360897 @default.
- W2892096859 hasConcept C202444582 @default.
- W2892096859 hasConcept C207405024 @default.
- W2892096859 hasConcept C24890656 @default.
- W2892096859 hasConcept C2780841128 @default.
- W2892096859 hasConcept C2781204021 @default.
- W2892096859 hasConcept C33923547 @default.
- W2892096859 hasConcept C34447519 @default.
- W2892096859 hasConcept C41008148 @default.
- W2892096859 hasConceptScore W2892096859C118615104 @default.
- W2892096859 hasConceptScore W2892096859C120665830 @default.
- W2892096859 hasConceptScore W2892096859C121332964 @default.
- W2892096859 hasConceptScore W2892096859C132170107 @default.
- W2892096859 hasConceptScore W2892096859C146834321 @default.
- W2892096859 hasConceptScore W2892096859C162324750 @default.
- W2892096859 hasConceptScore W2892096859C164953516 @default.
- W2892096859 hasConceptScore W2892096859C177264268 @default.
- W2892096859 hasConceptScore W2892096859C199360897 @default.
- W2892096859 hasConceptScore W2892096859C202444582 @default.
- W2892096859 hasConceptScore W2892096859C207405024 @default.
- W2892096859 hasConceptScore W2892096859C24890656 @default.
- W2892096859 hasConceptScore W2892096859C2780841128 @default.
- W2892096859 hasConceptScore W2892096859C2781204021 @default.
- W2892096859 hasConceptScore W2892096859C33923547 @default.
- W2892096859 hasConceptScore W2892096859C34447519 @default.
- W2892096859 hasConceptScore W2892096859C41008148 @default.
- W2892096859 hasLocation W28920968591 @default.
- W2892096859 hasOpenAccess W2892096859 @default.
- W2892096859 hasPrimaryLocation W28920968591 @default.
- W2892096859 hasRelatedWork W1591313437 @default.
- W2892096859 hasRelatedWork W2011483539 @default.
- W2892096859 hasRelatedWork W2044273750 @default.
- W2892096859 hasRelatedWork W2121996012 @default.
- W2892096859 hasRelatedWork W2149963408 @default.
- W2892096859 hasRelatedWork W2356702416 @default.
- W2892096859 hasRelatedWork W2392462428 @default.
- W2892096859 hasRelatedWork W3005024605 @default.
- W2892096859 hasRelatedWork W4287870258 @default.
- W2892096859 hasRelatedWork W4311723732 @default.
- W2892096859 isParatext "false" @default.
- W2892096859 isRetracted "false" @default.
- W2892096859 magId "2892096859" @default.
- W2892096859 workType "article" @default.