FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012378737> ?p ?o ?g. }

• W2012378737 abstract "In this paper, for a given sequentially Yoneda-complete T_1 quasi-metric space (X,d), the domain theoretic models of the hyperspace K_0(X) of nonempty compact subsets of (X,d) are studied. To this end, the $omega$-Plotkin domain of the space of formal balls BX, denoted by CBX is considered. This domain is given as the chain completion of the set of all finite subsets of BX with respect to the Egli-Milner relation. Further, a map $phi:K_0(X)rightarrow CBX$ is established and proved that it is an embedding whenever K_0(X) is equipped with the Vietoris topology and respectively CBX with the Scott topology. Moreover, if any compact subset of (X,d) is d^{-1}-precompact, phi is an embedding with respect to the topology of Hausdorff quasi-metric H_d on K_0(X). Therefore, it is concluded that (CBX,sqsubseteq,phi) is an $omega$-computational model for the hyperspace K_0(X) endowed with the Vietoris and respectively the Hausdorff topology. Next, an algebraic sequentially Yoneda-complete quasi-metric D on CBX$ is introduced in such a way that the specialization order $sqsubseteq_D$ is equivalent to the usual partial order of CBX and, furthermore, $phi:({cal K}_0(X),H_d)rightarrow({bf C}{bf B}X,D)$ is an isometry. This shows that (CBX,sqsubseteq,phi,D) is a quantitative $omega$-computational model for (K_(X),H_d)." @default.
• W2012378737 created "2016-06-24" @default.
• W2012378737 creator A5009860398 @default.
• W2012378737 creator A5078100736 @default.
• W2012378737 date "2011-10-26" @default.
• W2012378737 modified "2023-09-27" @default.
• W2012378737 title "Computational Models of Certain Hyperspaces of Quasi-metric Spaces" @default.
• W2012378737 cites W1525647423 @default.
• W2012378737 cites W1668904657 @default.
• W2012378737 cites W1818692959 @default.
• W2012378737 cites W1971960701 @default.
• W2012378737 cites W1972718199 @default.
• W2012378737 cites W1984190214 @default.
• W2012378737 cites W1991045633 @default.
• W2012378737 cites W1996648065 @default.
• W2012378737 cites W2001923225 @default.
• W2012378737 cites W2003261083 @default.
• W2012378737 cites W2013513033 @default.
• W2012378737 cites W2014759141 @default.
• W2012378737 cites W2015501313 @default.
• W2012378737 cites W2020166407 @default.
• W2012378737 cites W2031090963 @default.
• W2012378737 cites W2034346260 @default.
• W2012378737 cites W2044342891 @default.
• W2012378737 cites W2047417452 @default.
• W2012378737 cites W2063038805 @default.
• W2012378737 cites W2068718645 @default.
• W2012378737 cites W2081233506 @default.
• W2012378737 cites W2081739551 @default.
• W2012378737 cites W2084645157 @default.
• W2012378737 cites W2088237645 @default.
• W2012378737 cites W2090143809 @default.
• W2012378737 cites W2114953769 @default.
• W2012378737 cites W2115045064 @default.
• W2012378737 cites W2115154197 @default.
• W2012378737 cites W2148084455 @default.
• W2012378737 cites W2155368129 @default.
• W2012378737 cites W3096424428 @default.
• W2012378737 cites W4238617164 @default.
• W2012378737 cites W2486773868 @default.
• W2012378737 doi "https://doi.org/10.2168/lmcs-7(4:1)2011" @default.
• W2012378737 hasPublicationYear "2011" @default.
• W2012378737 type Work @default.
• W2012378737 sameAs 2012378737 @default.
• W2012378737 citedByCount "0" @default.
• W2012378737 crossrefType "journal-article" @default.
• W2012378737 hasAuthorship W2012378737A5009860398 @default.
• W2012378737 hasAuthorship W2012378737A5078100736 @default.
• W2012378737 hasBestOaLocation W20123787371 @default.
• W2012378737 hasConcept C10138342 @default.
• W2012378737 hasConcept C114614502 @default.
• W2012378737 hasConcept C118615104 @default.
• W2012378737 hasConcept C134306372 @default.
• W2012378737 hasConcept C138885662 @default.
• W2012378737 hasConcept C141898687 @default.
• W2012378737 hasConcept C154945302 @default.
• W2012378737 hasConcept C162324750 @default.
• W2012378737 hasConcept C182306322 @default.
• W2012378737 hasConcept C184720557 @default.
• W2012378737 hasConcept C191399826 @default.
• W2012378737 hasConcept C198043062 @default.
• W2012378737 hasConcept C202444582 @default.
• W2012378737 hasConcept C2778572836 @default.
• W2012378737 hasConcept C2779165322 @default.
• W2012378737 hasConcept C33923547 @default.
• W2012378737 hasConcept C36503486 @default.
• W2012378737 hasConcept C39368324 @default.
• W2012378737 hasConcept C41008148 @default.
• W2012378737 hasConcept C41608201 @default.
• W2012378737 hasConcept C41895202 @default.
• W2012378737 hasConcept C82457910 @default.
• W2012378737 hasConceptScore W2012378737C10138342 @default.
• W2012378737 hasConceptScore W2012378737C114614502 @default.
• W2012378737 hasConceptScore W2012378737C118615104 @default.
• W2012378737 hasConceptScore W2012378737C134306372 @default.
• W2012378737 hasConceptScore W2012378737C138885662 @default.
• W2012378737 hasConceptScore W2012378737C141898687 @default.
• W2012378737 hasConceptScore W2012378737C154945302 @default.
• W2012378737 hasConceptScore W2012378737C162324750 @default.
• W2012378737 hasConceptScore W2012378737C182306322 @default.
• W2012378737 hasConceptScore W2012378737C184720557 @default.
• W2012378737 hasConceptScore W2012378737C191399826 @default.
• W2012378737 hasConceptScore W2012378737C198043062 @default.
• W2012378737 hasConceptScore W2012378737C202444582 @default.
• W2012378737 hasConceptScore W2012378737C2778572836 @default.
• W2012378737 hasConceptScore W2012378737C2779165322 @default.
• W2012378737 hasConceptScore W2012378737C33923547 @default.
• W2012378737 hasConceptScore W2012378737C36503486 @default.
• W2012378737 hasConceptScore W2012378737C39368324 @default.
• W2012378737 hasConceptScore W2012378737C41008148 @default.
• W2012378737 hasConceptScore W2012378737C41608201 @default.
• W2012378737 hasConceptScore W2012378737C41895202 @default.
• W2012378737 hasConceptScore W2012378737C82457910 @default.
• W2012378737 hasLocation W20123787371 @default.
• W2012378737 hasLocation W20123787372 @default.
• W2012378737 hasLocation W20123787373 @default.
• W2012378737 hasOpenAccess W2012378737 @default.
• W2012378737 hasPrimaryLocation W20123787371 @default.
• W2012378737 hasRelatedWork W173145505 @default.
• W2012378737 hasRelatedWork W1971871035 @default.

• next