{"id":"https://openalex.org/W4283586870","doi":"https://doi.org/10.1017/s0960129522000196","title":"Hofmann-Mislove type definitions of non-Hausdorff spaces","display_name":"Hofmann-Mislove type definitions of non-Hausdorff spaces","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4283586870","doi":"https://doi.org/10.1017/s0960129522000196"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129522000196","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129522000196","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/A5067390881","display_name":"Chong Shen","orcid":"https://orcid.org/0000-0001-5838-0438"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Chong Shen","raw_affiliation_strings":["School of Science, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Science, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084801735","display_name":"Xiaoyong Xi","orcid":"https://orcid.org/0000-0002-6124-395X"},"institutions":[{"id":"https://openalex.org/I4210141689","display_name":"Yancheng Teachers University","ror":"https://ror.org/042k5fe81","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210141689"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyong Xi","raw_affiliation_strings":["School of Mathematics and Statistics, Yancheng Teachers University, Jiangsu, Yancheng, China"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics, Yancheng Teachers University, Jiangsu, Yancheng, China","institution_ids":["https://openalex.org/I4210141689"]}]},{"author_position":"middle","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":"Zhangzhou Normal University","ror":"https://ror.org/02vj1vm13","country_code":"CN","type":"education","lineage":["https://openalex.org/I9356336"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoquan Xu","raw_affiliation_strings":["School of Mathematics and Statistics, Minnan Normal University, Fujian, Zhangzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics, Minnan Normal University, Fujian, Zhangzhou, China","institution_ids":["https://openalex.org/I9356336"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101497530","display_name":"Dongsheng Zhao","orcid":"https://orcid.org/0000-0001-8446-3624"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Dongsheng Zhao","raw_affiliation_strings":["Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, 1 Nanyang Walk, Singapore"],"affiliations":[{"raw_affiliation_string":"Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, 1 Nanyang Walk, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5067390881"],"corresponding_institution_ids":["https://openalex.org/I139759216"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14146049,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":"1","first_page":"111","last_page":"124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9972000122070312,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/hausdorff-space","display_name":"Hausdorff space","score":0.8416086435317993},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6934374570846558},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.6555283069610596},{"id":"https://openalex.org/keywords/subcategory","display_name":"Subcategory","score":0.6057348251342773},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.5976594686508179},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5657073855400085},{"id":"https://openalex.org/keywords/compact-open-topology","display_name":"Compact-open topology","score":0.5510886907577515},{"id":"https://openalex.org/keywords/interpolation-space","display_name":"Interpolation space","score":0.5459080338478088},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5053908824920654},{"id":"https://openalex.org/keywords/birnbaum\u2013orlicz-space","display_name":"Birnbaum\u2013Orlicz space","score":0.5034438967704773},{"id":"https://openalex.org/keywords/fr\u00e9chet-space","display_name":"Fr\u00e9chet space","score":0.49882984161376953},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4361642003059387},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3743146061897278},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.27977392077445984},{"id":"https://openalex.org/keywords/functional-analysis","display_name":"Functional analysis","score":0.25298553705215454},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.17726567387580872},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08380034565925598}],"concepts":[{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.8416086435317993},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6934374570846558},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.6555283069610596},{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.6057348251342773},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.5976594686508179},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5657073855400085},{"id":"https://openalex.org/C6419321","wikidata":"https://www.wikidata.org/wiki/Q1669863","display_name":"Compact-open topology","level":5,"score":0.5510886907577515},{"id":"https://openalex.org/C6183050","wikidata":"https://www.wikidata.org/wiki/Q3058180","display_name":"Interpolation space","level":4,"score":0.5459080338478088},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5053908824920654},{"id":"https://openalex.org/C169976997","wikidata":"https://www.wikidata.org/wiki/Q3058185","display_name":"Birnbaum\u2013Orlicz space","level":5,"score":0.5034438967704773},{"id":"https://openalex.org/C117145882","wikidata":"https://www.wikidata.org/wiki/Q1471397","display_name":"Fr\u00e9chet space","level":5,"score":0.49882984161376953},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4361642003059387},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3743146061897278},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.27977392077445984},{"id":"https://openalex.org/C55112680","wikidata":"https://www.wikidata.org/wiki/Q190549","display_name":"Functional analysis","level":3,"score":0.25298553705215454},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.17726567387580872},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08380034565925598},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/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/s0960129522000196","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129522000196","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":20,"referenced_works":["https://openalex.org/W144068439","https://openalex.org/W438549760","https://openalex.org/W1560675747","https://openalex.org/W1984975897","https://openalex.org/W1987786302","https://openalex.org/W1993941031","https://openalex.org/W2005449309","https://openalex.org/W2037036627","https://openalex.org/W2196559987","https://openalex.org/W2468407376","https://openalex.org/W2970748401","https://openalex.org/W2996582244","https://openalex.org/W3022246296","https://openalex.org/W3024752375","https://openalex.org/W3041512537","https://openalex.org/W3081631062","https://openalex.org/W3117029052","https://openalex.org/W3128284723","https://openalex.org/W3137867525","https://openalex.org/W6772599822"],"related_works":["https://openalex.org/W2375626118","https://openalex.org/W3009773917","https://openalex.org/W2972833470","https://openalex.org/W30140727","https://openalex.org/W2140248489","https://openalex.org/W2090229510","https://openalex.org/W3116527115","https://openalex.org/W1987292769","https://openalex.org/W4283586870","https://openalex.org/W2963281412"],"abstract_inverted_index":{"Abstract":[0],"One":[1],"of":[2,48,105,115,118],"the":[3,11,21,35,46,87,103,116],"most":[4],"important":[5],"results":[6],"in":[7],"domain":[8],"theory":[9],"is":[10,79,110,140,152],"Hofmann-Mislove":[12],"Theorem,":[13],"which":[14,57],"reveals":[15],"a":[16,59,73,111,130,136],"very":[17],"distinct":[18],"characterization":[19,74],"for":[20,51,75],"sober":[22,64],"spaces":[23,78,92,96,109,120],"via":[24,81],"open":[25],"filters.":[26],"In":[27,71],"this":[28,32,43],"paper,":[29],"we":[30,133],"extend":[31],"result":[33],"to":[34,63],"d":[36,69],"-spaces":[37],"and":[38,53,68,93,144],"well-filtered":[39,66],"spaces.":[40],"We":[41,84,100],"do":[42],"by":[44,98],"introducing":[45],"notions":[47],"Hofmann-Mislove-system":[49],"(HM-system":[50],"short)":[52],"$\\Psi$":[54,76,82,90,107,127,141,153],"-well-filtered":[55,77,91,108,142],"space,":[56],"provide":[58],"new":[60],"unified":[61],"approach":[62],"spaces,":[65,67],"-spaces.":[70],"addition,":[72],"provided":[80],"-sets.":[83],"also":[85],"discuss":[86],"relationship":[88],"between":[89],"H":[94],"-sober":[95],"considered":[97],"Xu.":[99],"show":[101,134],"that":[102,128,135],"category":[104,117],"complete":[106],"full":[112],"reflective":[113],"subcategory":[114],"$T_0$":[119,137],"with":[121],"continuous":[122],"mappings.":[123],"For":[124],"each":[125],"HM-system":[126],"has":[129],"designated":[131],"property,":[132],"space":[138,150],"X":[139],"if":[143,146],"only":[145],"its":[147],"Smyth":[148],"power":[149],"$P_s(X)$":[151],"-well-filtered.":[154]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}