{"id":"https://openalex.org/W2003261083","doi":"https://doi.org/10.1017/s0960129509007439","title":"The space of formal balls and models of quasi-metric spaces","display_name":"The space of formal balls and models of quasi-metric spaces","publication_year":2009,"publication_date":"2009-03-17","ids":{"openalex":"https://openalex.org/W2003261083","doi":"https://doi.org/10.1017/s0960129509007439","mag":"2003261083"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129509007439","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129509007439","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009860398","display_name":"Mahdi Ali\u2010Akbari","orcid":"https://orcid.org/0000-0002-4889-3368"},"institutions":[{"id":"https://openalex.org/I158248296","display_name":"Amirkabir University of Technology","ror":"https://ror.org/04gzbav43","country_code":"IR","type":"education","lineage":["https://openalex.org/I158248296"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"M. ALI-AKBARI","raw_affiliation_strings":["School of Mathematics and Computer Science, Amirkabir University of Technology, 424 Hafez Ave., Tehran, Iran, 15914","School of mathematics and computer science, amirkabir university of technology, 424 hafez ave., tehran, iran, 15914"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics and Computer Science, Amirkabir University of Technology, 424 Hafez Ave., Tehran, Iran, 15914","institution_ids":["https://openalex.org/I158248296"]},{"raw_affiliation_string":"School of mathematics and computer science, amirkabir university of technology, 424 hafez ave., tehran, iran, 15914","institution_ids":["https://openalex.org/I158248296"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064610261","display_name":"B. Honari","orcid":"https://orcid.org/0000-0002-6058-252X"},"institutions":[{"id":"https://openalex.org/I115566878","display_name":"Shahid Bahonar University of Kerman","ror":"https://ror.org/04zn42r77","country_code":"IR","type":"education","lineage":["https://openalex.org/I115566878"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"B. HONARI","raw_affiliation_strings":["Faculty of Mathematics and Computer Sceince, Shahid Bahonar University, 22 Bahman Blvd., Kerman, Iran, 76169-14111","Faculty of mathematics and computer sceince, shahid bahonar university, 22 bahman blvd., kerman, iran, 76169-14111#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Sceince, Shahid Bahonar University, 22 Bahman Blvd., Kerman, Iran, 76169-14111","institution_ids":["https://openalex.org/I115566878"]},{"raw_affiliation_string":"Faculty of mathematics and computer sceince, shahid bahonar university, 22 bahman blvd., kerman, iran, 76169-14111#TAB#","institution_ids":["https://openalex.org/I115566878"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078100736","display_name":"Massoud Pourmahdian","orcid":"https://orcid.org/0000-0003-2150-2467"},"institutions":[{"id":"https://openalex.org/I158248296","display_name":"Amirkabir University of Technology","ror":"https://ror.org/04gzbav43","country_code":"IR","type":"education","lineage":["https://openalex.org/I158248296"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"M. POURMAHDIAN","raw_affiliation_strings":["School of Mathematics and Computer Science, Amirkabir University of Technology, 424 Hafez Ave., Tehran, Iran, 15914","School of mathematics and computer science, amirkabir university of technology, 424 hafez ave., tehran, iran, 15914"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics and Computer Science, Amirkabir University of Technology, 424 Hafez Ave., Tehran, Iran, 15914","institution_ids":["https://openalex.org/I158248296"]},{"raw_affiliation_string":"School of mathematics and computer science, amirkabir university of technology, 424 hafez ave., tehran, iran, 15914","institution_ids":["https://openalex.org/I158248296"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109265377","display_name":"M. M. Rezaii","orcid":null},"institutions":[{"id":"https://openalex.org/I158248296","display_name":"Amirkabir University of Technology","ror":"https://ror.org/04gzbav43","country_code":"IR","type":"education","lineage":["https://openalex.org/I158248296"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"M. M. REZAII","raw_affiliation_strings":["School of Mathematics and Computer Science, Amirkabir University of Technology, 424 Hafez Ave., Tehran, Iran, 15914","School of mathematics and computer science, amirkabir university of technology, 424 hafez ave., tehran, iran, 15914"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics and Computer Science, Amirkabir University of Technology, 424 Hafez Ave., Tehran, Iran, 15914","institution_ids":["https://openalex.org/I158248296"]},{"raw_affiliation_string":"School of mathematics and computer science, amirkabir university of technology, 424 hafez ave., tehran, iran, 15914","institution_ids":["https://openalex.org/I158248296"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5078100736"],"corresponding_institution_ids":["https://openalex.org/I158248296"],"apc_list":null,"apc_paid":null,"fwci":4.2444,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.94165026,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"19","issue":"2","first_page":"337","last_page":"355"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11777","display_name":"Fixed Point Theorems Analysis","score":0.9853000044822693,"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/T11777","display_name":"Fixed Point Theorems Analysis","score":0.9853000044822693,"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9767000079154968,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9399999976158142,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7245151996612549},{"id":"https://openalex.org/keywords/metric-space","display_name":"Metric space","score":0.6911084055900574},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5313912630081177},{"id":"https://openalex.org/keywords/real-line","display_name":"Real line","score":0.5262942910194397},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.4948524832725525},{"id":"https://openalex.org/keywords/injective-metric-space","display_name":"Injective metric space","score":0.48344191908836365},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4743277430534363},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.46257996559143066},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.41949930787086487},{"id":"https://openalex.org/keywords/convex-metric-space","display_name":"Convex metric space","score":0.416363000869751},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.38709375262260437},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.23001372814178467},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10261377692222595}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7245151996612549},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.6911084055900574},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5313912630081177},{"id":"https://openalex.org/C75432250","wikidata":"https://www.wikidata.org/wiki/Q29654355","display_name":"Real line","level":2,"score":0.5262942910194397},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.4948524832725525},{"id":"https://openalex.org/C177547787","wikidata":"https://www.wikidata.org/wiki/Q6034319","display_name":"Injective metric space","level":3,"score":0.48344191908836365},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4743277430534363},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.46257996559143066},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.41949930787086487},{"id":"https://openalex.org/C196613150","wikidata":"https://www.wikidata.org/wiki/Q3966092","display_name":"Convex metric space","level":3,"score":0.416363000869751},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38709375262260437},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.23001372814178467},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10261377692222595},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129509007439","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129509007439","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W115080529","https://openalex.org/W568516392","https://openalex.org/W1810805698","https://openalex.org/W1818692959","https://openalex.org/W1967624613","https://openalex.org/W1971960701","https://openalex.org/W1972718199","https://openalex.org/W1984190214","https://openalex.org/W1996648065","https://openalex.org/W2014115282","https://openalex.org/W2018131399","https://openalex.org/W2028226764","https://openalex.org/W2028924965","https://openalex.org/W2051598506","https://openalex.org/W2057085611","https://openalex.org/W2072786259","https://openalex.org/W2105223068","https://openalex.org/W3096424428","https://openalex.org/W4238617164"],"related_works":["https://openalex.org/W2398868469","https://openalex.org/W2001114394","https://openalex.org/W2170631455","https://openalex.org/W2291453617","https://openalex.org/W4297833754","https://openalex.org/W3039282288","https://openalex.org/W2167702460","https://openalex.org/W2186678087","https://openalex.org/W2185831068","https://openalex.org/W194343720"],"abstract_inverted_index":{"In":[0,106],"this":[1,14,52,134],"paper":[2,15],"we":[3,28,54,82,108,131,154],"study":[4,18,56],"quasi-metric":[5,25,31,71,141,147,185,224],"spaces":[6,32],"using":[7],"domain":[8],"theory.":[9],"Our":[10],"main":[11],"objective":[12],"in":[13],"is":[16,116,126,192,207],"to":[17,97],"the":[19,57,85,156,174,197,234],"maximal":[20],"point":[21],"space":[22,72,148,176,186,225],"problem":[23],"for":[24,139,144,210,221],"spaces.":[26,142],"Here":[27],"prove":[29,83,109,171],"that":[30,33,84,110,133,172],"satisfy":[34],"certain":[35],"completeness":[36],"properties,":[37],"such":[38],"as":[39,231,233],"Yoneda":[40,128],"and":[41,80,239],"Smyth":[42],"completeness,":[43],"can":[44],"be":[45],"modelled":[46],"by":[47],"continuous":[48,118],"dcpo's.":[49],"To":[50],"achieve":[51],"goal,":[53],"first":[55],"partially":[58,157],"ordered":[59,158],"set":[60,159],"of":[61,69,88,100,160,183,200],"formal":[62,162],"balls":[63,163],"(":[64,73,89,101,111,121,149,164,177,187,201,211,226],"B":[65,90,112,165,202],"X":[66,74,91,102,113,122,150,166,178,188,203,212,227],",":[67,75,92,103,114,123,151,167,179,189,204,213,228],"\u2291)":[68,93,115],"a":[70,117,137,145,184,208,219],"d":[76,104,124,152,180,190,214,229],").":[77,105,215],"Following":[78],"Edalat":[79],"Heckmann,":[81],"order":[86],"properties":[87,99],"are":[94],"tightly":[95],"connected":[96],"topological":[98],"particular,":[107],"dcpo":[119],"if":[120,173],")":[125,182,191],"algebraic":[127],"complete.":[129],"Furthermore,":[130],"show":[132],"construction":[135,217],"gives":[136],"model":[138,209,220],"Smyth-complete":[140],"Then,":[143],"given":[146],"),":[153,230],"introduce":[155],"abstract":[161],"\u2291,":[168,205],"\u227a).":[169],"We":[170],"conjugate":[175],"\u22121":[181],"right":[193],"K":[194],"-complete,":[195],"then":[196],"ideal":[198],"completion":[199],"\u227a)":[206],"This":[216],"provides":[218],"any":[222],"Yoneda-complete":[223],"well":[232],"Sorgenfrey":[235],"line,":[236],"Kofner":[237],"plane":[238],"Michael":[240],"line.":[241]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}