{"id":"https://openalex.org/W191595573","doi":"https://doi.org/10.3217/jucs-015-06-1381","title":"Elementary Computable Topology","display_name":"Elementary Computable Topology","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W191595573","doi":"https://doi.org/10.3217/jucs-015-06-1381","mag":"191595573"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7000773","is_oa":true,"landing_page_url":"https://zenodo.org/record/7000773","pdf_url":"https://zenodo.org/record/7000773","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 15((6)) 1381-1422","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7000773","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050312341","display_name":"Klaus Weihrauch","orcid":null},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"University of Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Klaus Weihrauch","raw_affiliation_strings":["University of Hagen"],"affiliations":[{"raw_affiliation_string":"University of Hagen","institution_ids":["https://openalex.org/I120691247"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049611478","display_name":"Tanja Grubba","orcid":null},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"University of Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tanja Grubba","raw_affiliation_strings":["University of Hagen"],"affiliations":[{"raw_affiliation_string":"University of Hagen","institution_ids":["https://openalex.org/I120691247"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5050312341"],"corresponding_institution_ids":["https://openalex.org/I120691247"],"apc_list":null,"apc_paid":null,"fwci":1.7327,"has_fulltext":true,"cited_by_count":57,"citation_normalized_percentile":{"value":0.87674434,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"15","issue":null,"first_page":"1381","last_page":"1422"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9997000098228455,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9997000098228455,"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/T11567","display_name":"semigroups and automata theory","score":0.944100022315979,"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/T10126","display_name":"Logic, programming, and type systems","score":0.926800012588501,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.9140832424163818},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"Computable analysis","score":0.7383854389190674},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5520230531692505},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.545630931854248},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.532092273235321},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5065358877182007},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.5034825205802917},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.46919888257980347},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.42636242508888245},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42316073179244995},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.39665207266807556},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3548372983932495},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3232968747615814},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.18027418851852417},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.11459556221961975}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.9140832424163818},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.7383854389190674},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5520230531692505},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.545630931854248},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.532092273235321},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5065358877182007},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5034825205802917},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.46919888257980347},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.42636242508888245},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42316073179244995},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.39665207266807556},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3548372983932495},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3232968747615814},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.18027418851852417},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.11459556221961975},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:zenodo.org:7000773","is_oa":true,"landing_page_url":"https://zenodo.org/record/7000773","pdf_url":"https://zenodo.org/record/7000773","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 15((6)) 1381-1422","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-015-06-1381","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-015-06-1381","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"mag:191595573","is_oa":false,"landing_page_url":"http://www.jucs.org/jucs_15_6/elementary_computable_topology/jucs_15_06_1381_1422_weihrauch.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"pmh:oai:zenodo.org:7000773","is_oa":true,"landing_page_url":"https://zenodo.org/record/7000773","pdf_url":"https://zenodo.org/record/7000773","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 15((6)) 1381-1422","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W191595573.pdf"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W120057786","https://openalex.org/W604140817","https://openalex.org/W1525647423","https://openalex.org/W1544102261","https://openalex.org/W1578854475","https://openalex.org/W1587062006","https://openalex.org/W1958506772","https://openalex.org/W1967704436","https://openalex.org/W1971784004","https://openalex.org/W1971860967","https://openalex.org/W1971973725","https://openalex.org/W1973911850","https://openalex.org/W1975886595","https://openalex.org/W1977390449","https://openalex.org/W2005841729","https://openalex.org/W2025592951","https://openalex.org/W2027931514","https://openalex.org/W2033693919","https://openalex.org/W2042201438","https://openalex.org/W2051098005","https://openalex.org/W2077769760","https://openalex.org/W2080180423","https://openalex.org/W2093541252","https://openalex.org/W2117033549","https://openalex.org/W2157734704","https://openalex.org/W2168229531","https://openalex.org/W2197451100","https://openalex.org/W2322118446","https://openalex.org/W2398530055","https://openalex.org/W2499898681","https://openalex.org/W2572527300","https://openalex.org/W2611511037","https://openalex.org/W2911572548","https://openalex.org/W2977793662"],"related_works":["https://openalex.org/W2611511037","https://openalex.org/W1958506772","https://openalex.org/W2027931514","https://openalex.org/W1509579779","https://openalex.org/W1975886595","https://openalex.org/W120057786","https://openalex.org/W2126160338","https://openalex.org/W2077769760","https://openalex.org/W2406849183","https://openalex.org/W2950007347","https://openalex.org/W2911572548","https://openalex.org/W2168229531","https://openalex.org/W2143225908","https://openalex.org/W2051039879","https://openalex.org/W2005038809","https://openalex.org/W1986579593","https://openalex.org/W1602845793","https://openalex.org/W1497475168","https://openalex.org/W12519050","https://openalex.org/W125135646"],"abstract_inverted_index":{"We":[0,43,90,138,157,207],"revise":[1],"and":[2,20,24,32,41,65,74,80,84,88,132,160,162],"extend":[3],"the":[4,10,72,76,78,81,113,115,121,126,129,135,142,153,169,181],"foundation":[5],"of":[6,12,15,27,39,57,69,71,75,93,100,141,144,166,168,171],"computable":[7,47,146],"topology":[8],"in":[9,109],"framework":[11],"Type-2":[13],"theory":[14],"effectivity,":[16],"TTE,":[17],"where":[18],"continuity":[19],"computability":[21,92,111,119,124,133,155],"on":[22,112,120,125,134],"finite":[23],"infinite":[25],"sequences":[26],"symbols":[28],"are":[29,177],"defined":[30],"canonically":[31],"transferred":[33],"to":[34,196],"abstract":[35],"sets":[36,83,117],"by":[37],"means":[38],"notations":[40],"representations.":[42],"start":[44],"from":[45],"a":[46,52,55,58,67,145,164],"topological":[48,147],"space,":[49],"which":[50,184,197],"is":[51,63],"T0-space":[53],"with":[54,180,204,209],"notation":[56],"base":[59,182],"such":[60],"that":[61,149],"intersection":[62],"computable,":[64],"define":[66],"number":[68,165],"multi-representations":[70],"points":[73,191,205],"open,":[77],"closed":[79,127],"compact":[82,130,136],"study":[85,91,139,158,195],"their":[86],"properties":[87],"relations.":[89],"boolean":[94],"operations.":[95],"By":[96],"merely":[97],"requiring":[98],"\"provability\"":[99],"suitable":[101],"relations":[102],"(element,":[103],"non-empty":[104],"intersection,":[105],"subset)":[106],"we":[107,176,194],"characterize":[108],"turn":[110],"points,":[114],"open":[116,122],"(!),":[118],"sets,":[123,128],"sets(!),":[131],"sets.":[137],"modifications":[140],"definition":[143],"space":[148,170],"do":[150],"not":[151],"change":[152],"derived":[154],"concepts.":[156],"subspaces":[159],"products":[161],"compare":[163],"representations":[167],"partial":[172],"continuous":[173],"functions.":[174],"Since":[175],"operating":[178],"mainly":[179],"elements,":[183],"can":[185,201],"be":[186,202],"considered":[187],"as":[188,216],"regions":[189,200],"for":[190],"(\"pointless":[192],"topology\"),":[193],"extent":[198],"these":[199],"filled":[203],"(completions).":[206],"conclude":[208],"some":[210],"simple":[211],"applications":[212],"including":[213],"Dini's":[214],"Theorem":[215],"an":[217],"example.":[218]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":9},{"year":2012,"cited_by_count":5}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}