{"id":"https://openalex.org/W4319264129","doi":"https://doi.org/10.1017/s0960129523000014","title":"On function spaces equipped with Isbell topology and Scott topology","display_name":"On function spaces equipped with Isbell topology and Scott topology","publication_year":2022,"publication_date":"2022-09-01","ids":{"openalex":"https://openalex.org/W4319264129","doi":"https://doi.org/10.1017/s0960129523000014"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129523000014","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129523000014","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/A5113893328","display_name":"Xiaoquan Xu","orcid":"https://orcid.org/0000-0003-1159-8477"},"institutions":[{"id":"https://openalex.org/I9356336","display_name":"Minnan Normal University","ror":"https://ror.org/02vj1vm13","country_code":"CN","type":"education","lineage":["https://openalex.org/I9356336"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiaoquan Xu","raw_affiliation_strings":["Fujian Key Laboratory of Granular Computing and Applications, Minnan Normal University, Zhangzhou 363000, China"],"raw_orcid":"https://orcid.org/0000-0003-1159-8477","affiliations":[{"raw_affiliation_string":"Fujian Key Laboratory of Granular Computing and Applications, Minnan Normal University, Zhangzhou 363000, China","institution_ids":["https://openalex.org/I9356336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014942500","display_name":"Meng Bao","orcid":null},"institutions":[{"id":"https://openalex.org/I24185976","display_name":"Sichuan University","ror":"https://ror.org/011ashp19","country_code":"CN","type":"education","lineage":["https://openalex.org/I24185976"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meng Bao","raw_affiliation_strings":["College of Mathematics, Sichuan University, Chengdu 610064, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Mathematics, Sichuan University, Chengdu 610064, China","institution_ids":["https://openalex.org/I24185976"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027935554","display_name":"Xiaoyuan Zhang","orcid":"https://orcid.org/0000-0001-8976-5701"},"institutions":[{"id":"https://openalex.org/I74593823","display_name":"Hebei Finance University","ror":"https://ror.org/04a9xrr47","country_code":"CN","type":"education","lineage":["https://openalex.org/I74593823"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyuan Zhang","raw_affiliation_strings":["School of Big Data Science, Hebei Finance University, Baoding 071051, China"],"raw_orcid":"https://orcid.org/0000-0001-8976-5701","affiliations":[{"raw_affiliation_string":"School of Big Data Science, Hebei Finance University, Baoding 071051, China","institution_ids":["https://openalex.org/I74593823"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5113893328"],"corresponding_institution_ids":["https://openalex.org/I9356336"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21642935,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":"8","first_page":"1099","last_page":"1116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9857000112533569,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9785000085830688,"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/topology","display_name":"Topology (electrical circuits)","score":0.7009661793708801},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.6786758303642273},{"id":"https://openalex.org/keywords/function-space","display_name":"Function space","score":0.673977792263031},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.5559183955192566},{"id":"https://openalex.org/keywords/product-topology","display_name":"Product topology","score":0.532033383846283},{"id":"https://openalex.org/keywords/pointwise-convergence","display_name":"Pointwise convergence","score":0.5199474096298218},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4658758342266083},{"id":"https://openalex.org/keywords/compact-open-topology","display_name":"Compact-open topology","score":0.447297602891922},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44216129183769226},{"id":"https://openalex.org/keywords/general-topology","display_name":"General topology","score":0.4338505268096924},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.26665741205215454},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.23999914526939392},{"id":"https://openalex.org/keywords/interpolation-space","display_name":"Interpolation space","score":0.15935495495796204},{"id":"https://openalex.org/keywords/functional-analysis","display_name":"Functional analysis","score":0.13213258981704712},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10670414566993713},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.09809547662734985}],"concepts":[{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.7009661793708801},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.6786758303642273},{"id":"https://openalex.org/C142730499","wikidata":"https://www.wikidata.org/wiki/Q934367","display_name":"Function space","level":2,"score":0.673977792263031},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.5559183955192566},{"id":"https://openalex.org/C123222754","wikidata":"https://www.wikidata.org/wiki/Q1070472","display_name":"Product topology","level":2,"score":0.532033383846283},{"id":"https://openalex.org/C27156116","wikidata":"https://www.wikidata.org/wiki/Q1778098","display_name":"Pointwise convergence","level":3,"score":0.5199474096298218},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4658758342266083},{"id":"https://openalex.org/C6419321","wikidata":"https://www.wikidata.org/wiki/Q1669863","display_name":"Compact-open topology","level":5,"score":0.447297602891922},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44216129183769226},{"id":"https://openalex.org/C129089157","wikidata":"https://www.wikidata.org/wiki/Q621550","display_name":"General topology","level":3,"score":0.4338505268096924},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.26665741205215454},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.23999914526939392},{"id":"https://openalex.org/C6183050","wikidata":"https://www.wikidata.org/wiki/Q3058180","display_name":"Interpolation space","level":4,"score":0.15935495495796204},{"id":"https://openalex.org/C55112680","wikidata":"https://www.wikidata.org/wiki/Q190549","display_name":"Functional analysis","level":3,"score":0.13213258981704712},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10670414566993713},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.09809547662734985},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","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},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129523000014","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129523000014","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W87343669","https://openalex.org/W1525647423","https://openalex.org/W1566092174","https://openalex.org/W1963725260","https://openalex.org/W2005449309","https://openalex.org/W2010712820","https://openalex.org/W2043058711","https://openalex.org/W2062024564","https://openalex.org/W2143021706","https://openalex.org/W2624291954","https://openalex.org/W2752864691","https://openalex.org/W2970748401","https://openalex.org/W3041512537","https://openalex.org/W3081631062","https://openalex.org/W3117029052","https://openalex.org/W3174921718","https://openalex.org/W6630654809","https://openalex.org/W6633913823","https://openalex.org/W6787610372"],"related_works":["https://openalex.org/W3117029052","https://openalex.org/W2491982062","https://openalex.org/W1976103867","https://openalex.org/W1963725260","https://openalex.org/W2126785047","https://openalex.org/W3196195167","https://openalex.org/W1968173852","https://openalex.org/W4200307447","https://openalex.org/W12550991","https://openalex.org/W4362664628"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2],"paper,":[3],"we":[4],"mainly":[5],"study":[6,194],"the":[7,31,38,45,62,77,89,122,129,150,158,166,179,182,186,209],"function":[8,63,123,159,173,210],"spaces":[9,22,174,211],"related":[10,212],"to":[11,73,100,197,213],"H-sober":[12,58,85,214],"spaces.":[13,215],"For":[14],"an":[15],"irreducible":[16],"subset":[17],"system":[18],"H":[19],"and":[20,24,185],"$T_{0}$":[21,109],"X":[23,52,72,111,147],"Y":[25,60,74,87,113],",":[26,61,88,112],"it":[27],"is":[28,53,80,105,114,132,140,156,169],"proved":[29],"that":[30,106,142],"following":[32],"three":[33],"conditions":[34],"are":[35,190],"equivalent:":[36],"(1)":[37],"Scott":[39,151,180],"space":[40,59,64,86,110,124,146,152,160],"$\\Sigma":[41,153],"\\mathcal":[42,154],"O(X)$":[43,155],"of":[44,47,51,67,200,208],"lattice":[46],"all":[48,68],"open":[49],"sets":[50],"H-sober;":[54,81],"(2)":[55],"for":[56,83,107,143,148],"every":[57,84],"$\\mathbb{C}(X,":[65,93,125,161,175],"Y)$":[66,94,126,176],"continuous":[69],"mappings":[70],"from":[71],"equipped":[75,127,164,177],"with":[76,98,128,165,178],"Isbell":[78,90,130,167],"topology":[79,91,131,168,184,189],"(3)":[82],"on":[92],"has":[95],"property":[96],"S":[97],"respect":[99],"H.":[101],"One":[102],"immediate":[103],"corollary":[104],"a":[108,115,133,198],"d":[116,134],"-space":[117,135],"(resp.,":[118,136],"well-filtered":[119,137],"space)":[120],"iff":[121],"space).":[138],"It":[139],"shown":[141],"any":[144],"$T_0$":[145],"which":[149],"non-sober,":[157],"\\Sigma":[162],"2)$":[163],"not":[170],"sober.":[171],"The":[172],"topology,":[181],"compact-open":[183],"pointwise":[187],"convergence":[188],"also":[191,195],"discussed.":[192],"Our":[193],"leads":[196],"number":[199],"questions,":[201],"whose":[202],"answers":[203],"will":[204],"deepen":[205],"our":[206],"understanding":[207]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}
