{"id":"https://openalex.org/W2012378737","doi":"https://doi.org/10.2168/lmcs-7(4:1)2011","title":"Computational Models of Certain Hyperspaces of Quasi-metric Spaces","display_name":"Computational Models of Certain Hyperspaces of Quasi-metric Spaces","publication_year":2011,"publication_date":"2011-10-26","ids":{"openalex":"https://openalex.org/W2012378737","doi":"https://doi.org/10.2168/lmcs-7(4:1)2011","mag":"2012378737"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-7(4:1)2011","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-7(4:1)2011","pdf_url":"https://lmcs.episciences.org/886/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/886/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078100736","display_name":"Massoud Pourmahdian","orcid":"https://orcid.org/0000-0003-2150-2467"},"institutions":[{"id":"https://openalex.org/I4210146419","display_name":"Institute for Research in Fundamental Sciences","ror":"https://ror.org/04xreqs31","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210146419"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Massoud Pourmahdian","raw_affiliation_strings":["Department of Mathematics, Semnan University, P.O. Box 35195-363, Semnan, Iran and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran","School of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Semnan University, P.O. Box 35195-363, Semnan, Iran and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran","institution_ids":["https://openalex.org/I4210146419"]},{"raw_affiliation_string":"School of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran","institution_ids":["https://openalex.org/I4210146419"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009860398","display_name":"Mahdi Ali\u2010Akbari","orcid":"https://orcid.org/0000-0002-4889-3368"},"institutions":[{"id":"https://openalex.org/I4210146419","display_name":"Institute for Research in Fundamental Sciences","ror":"https://ror.org/04xreqs31","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210146419"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Mahdi Ali-Akbari","raw_affiliation_strings":["School of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran","Department of Mathematics, Semnan University, P.O. Box 35195-363, Semnan, Iran and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran","institution_ids":["https://openalex.org/I4210146419"]},{"raw_affiliation_string":"Department of Mathematics, Semnan University, P.O. Box 35195-363, Semnan, Iran and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran","institution_ids":["https://openalex.org/I4210146419"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210146419"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09907019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 7, Issue 4","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11777","display_name":"Fixed Point Theorems Analysis","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.9745000004768372,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hyperspace","display_name":"Hyperspace","score":0.8136336803436279},{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.6907587647438049},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.5837584137916565},{"id":"https://openalex.org/keywords/isometry","display_name":"Isometry (Riemannian geometry)","score":0.5488057136535645},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5434894561767578},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5114166140556335},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.497334748506546},{"id":"https://openalex.org/keywords/metric-space","display_name":"Metric space","score":0.4965208172798157},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4840930700302124},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.44177132844924927},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4269561469554901},{"id":"https://openalex.org/keywords/compactification","display_name":"Compactification (mathematics)","score":0.4165910482406616},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39647793769836426},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2849176526069641},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.15962764620780945}],"concepts":[{"id":"https://openalex.org/C39368324","wikidata":"https://www.wikidata.org/wiki/Q5024959","display_name":"Hyperspace","level":2,"score":0.8136336803436279},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.6907587647438049},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5837584137916565},{"id":"https://openalex.org/C82457910","wikidata":"https://www.wikidata.org/wiki/Q740207","display_name":"Isometry (Riemannian geometry)","level":2,"score":0.5488057136535645},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5434894561767578},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5114166140556335},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.497334748506546},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.4965208172798157},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4840930700302124},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.44177132844924927},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4269561469554901},{"id":"https://openalex.org/C2779165322","wikidata":"https://www.wikidata.org/wiki/Q546145","display_name":"Compactification (mathematics)","level":2,"score":0.4165910482406616},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39647793769836426},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2849176526069641},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.15962764620780945},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2168/lmcs-7(4:1)2011","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-7(4:1)2011","pdf_url":"https://lmcs.episciences.org/886/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1108.3736","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1108.3736","pdf_url":"https://arxiv.org/pdf/1108.3736","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:a70e114347ac4031a366dd13efa6d7c9","is_oa":true,"landing_page_url":"https://doaj.org/article/a70e114347ac4031a366dd13efa6d7c9","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 7, Issue 4 (2011)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.2168/lmcs-7(4:1)2011","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-7(4:1)2011","pdf_url":"https://lmcs.episciences.org/886/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2012378737.pdf","grobid_xml":"https://content.openalex.org/works/W2012378737.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W115080529","https://openalex.org/W568516392","https://openalex.org/W1525647423","https://openalex.org/W1668904657","https://openalex.org/W1818692959","https://openalex.org/W1971960701","https://openalex.org/W1972718199","https://openalex.org/W1984190214","https://openalex.org/W1991045633","https://openalex.org/W1996648065","https://openalex.org/W2001923225","https://openalex.org/W2002097778","https://openalex.org/W2003261083","https://openalex.org/W2013513033","https://openalex.org/W2014759141","https://openalex.org/W2015501313","https://openalex.org/W2018131399","https://openalex.org/W2020166407","https://openalex.org/W2028924965","https://openalex.org/W2031090963","https://openalex.org/W2034346260","https://openalex.org/W2044342891","https://openalex.org/W2047417452","https://openalex.org/W2051598506","https://openalex.org/W2063038805","https://openalex.org/W2068718645","https://openalex.org/W2073403765","https://openalex.org/W2081233506","https://openalex.org/W2081739551","https://openalex.org/W2084645157","https://openalex.org/W2088237645","https://openalex.org/W2090143809","https://openalex.org/W2114953769","https://openalex.org/W2115045064","https://openalex.org/W2115154197","https://openalex.org/W2118150157","https://openalex.org/W2135781342","https://openalex.org/W2148084455","https://openalex.org/W2155368129","https://openalex.org/W2294016984","https://openalex.org/W2486773868","https://openalex.org/W3096424428","https://openalex.org/W4238617164"],"related_works":["https://openalex.org/W1813548372","https://openalex.org/W2010075859","https://openalex.org/W1498993072","https://openalex.org/W4313187976","https://openalex.org/W2064711174","https://openalex.org/W1965340119","https://openalex.org/W44342009","https://openalex.org/W1991371429","https://openalex.org/W2298389264","https://openalex.org/W1996053791"],"abstract_inverted_index":{"In":[0],"this":[1,29],"paper,":[2],"for":[3,132,192],"a":[4,70,158,188],"given":[5,49],"sequentially":[6,148],"Yoneda-complete":[7,149],"T_1":[8],"quasi-metric":[9,118,150],"space":[10,36],"(X,d),":[11],"the":[12,17,31,35,51,55,66,88,95,114,133,138,142,161,168],"domain":[13,33,47],"theoretic":[14],"models":[15],"of":[16,20,24,34,37,54,57,61,103,116,172],"hyperspace":[18,134],"K_0(X)":[19,84,135],"nonempty":[21],"compact":[22,101],"subsets":[23,60],"(X,d)":[25,104],"are":[26],"studied.":[27],"To":[28],"end,":[30],"$\\omega$-Plotkin":[32],"formal":[38],"balls":[39],"BX,":[40],"denoted":[41],"by":[42],"CBX":[43,93,173],"is":[44,48,74,80,85,105,108,124,128,154,165,180,187],"considered.":[45],"This":[46,183],"as":[50],"chain":[52],"completion":[53],"set":[56],"all":[58],"finite":[59],"BX":[62],"with":[63,87,94,111,137],"respect":[64,112],"to":[65,113,167],"Egli-Milner":[67],"relation.":[68],"Further,":[69],"map":[71],"$\\phi:K_0(X)\\rightarrow":[72],"CBX$":[73,153],"established":[75],"and":[76,91,140],"proved":[77],"that":[78,126,160,185],"it":[79,123],"an":[81,109,129,146,181],"embedding":[82,110],"whenever":[83],"equipped":[86],"Vietoris":[89,139],"topology":[90,115],"respectively":[92,141],"Scott":[96],"topology.":[97,144],"Moreover,":[98],"if":[99],"any":[100],"subset":[102],"d^{-1}-precompact,":[106],"\\phi":[107],"Hausdorff":[117,143],"H_d":[119],"on":[120,152],"K_0(X).":[121],"Therefore,":[122],"concluded":[125],"(CBX,\\sqsubseteq,\\phi)":[127],"$\\omega$-computational":[130,190],"model":[131,191],"endowed":[136],"Next,":[145],"algebraic":[147],"D":[151],"introduced":[155],"in":[156],"such":[157],"way":[159],"specialization":[162],"order":[163,171],"$\\sqsubseteq_D$":[164],"equivalent":[166],"usual":[169],"partial":[170],"and,":[174],"furthermore,":[175],"$\\phi:({\\cal":[176],"K}_0(X),H_d)\\rightarrow({\\bf":[177],"C}{\\bf":[178],"B}X,D)$":[179],"isometry.":[182],"shows":[184],"(CBX,\\sqsubseteq,\\phi,D)":[186],"quantitative":[189],"(K_(X),H_d).":[193]},"counts_by_year":[],"updated_date":"2026-07-03T08:13:44.112507","created_date":"2025-10-10T00:00:00"}