{"id":"https://openalex.org/W2003774222","doi":"https://doi.org/10.1016/0168-0072(95)00067-4","title":"Effective inseparability in a topological setting","display_name":"Effective inseparability in a topological setting","publication_year":1996,"publication_date":"1996-08-01","ids":{"openalex":"https://openalex.org/W2003774222","doi":"https://doi.org/10.1016/0168-0072(95)00067-4","mag":"2003774222"},"language":"en","primary_location":{"id":"doi:10.1016/0168-0072(95)00067-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0168-0072(95)00067-4","pdf_url":"https://www.sciencedirect.com/science/article/pii/0168007295000674/pdf","source":{"id":"https://openalex.org/S172477885","display_name":"Annals of Pure and Applied Logic","issn_l":"0168-0072","issn":["0168-0072","1873-2461"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Pure and Applied Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.sciencedirect.com/science/article/pii/0168007295000674/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005352054","display_name":"Dieter Spreen","orcid":"https://orcid.org/0000-0002-2773-7323"},"institutions":[{"id":"https://openalex.org/I206895457","display_name":"University of Siegen","ror":"https://ror.org/02azyry73","country_code":"DE","type":"education","lineage":["https://openalex.org/I206895457"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Dieter Spreen","raw_affiliation_strings":["Fachbereich Mathematik, Theoretische Informatik, Universit\u00e4t-GH Siegen, D-57068 Siegen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fachbereich Mathematik, Theoretische Informatik, Universit\u00e4t-GH Siegen, D-57068 Siegen, Germany","institution_ids":["https://openalex.org/I206895457"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5005352054"],"corresponding_institution_ids":["https://openalex.org/I206895457"],"apc_list":{"value":3520,"currency":"USD","value_usd":3520},"apc_paid":null,"fwci":0.9834,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.74200959,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"80","issue":"3","first_page":"257","last_page":"275"},"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.9887999892234802,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9887999892234802,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8011420965194702},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.7436798810958862},{"id":"https://openalex.org/keywords/halting-problem","display_name":"Halting problem","score":0.7271224856376648},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5380546450614929},{"id":"https://openalex.org/keywords/recursively-enumerable-set","display_name":"Recursively enumerable set","score":0.5371279120445251},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.535344660282135},{"id":"https://openalex.org/keywords/maximal-element","display_name":"Maximal element","score":0.5042134523391724},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.48973512649536133},{"id":"https://openalex.org/keywords/element","display_name":"Element (criminal law)","score":0.47095543146133423},{"id":"https://openalex.org/keywords/irrational-number","display_name":"Irrational number","score":0.4600211977958679},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4566475749015808},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.4431617259979248},{"id":"https://openalex.org/keywords/maximal-set","display_name":"Maximal set","score":0.4379497766494751},{"id":"https://openalex.org/keywords/closed-set","display_name":"Closed set","score":0.42539751529693604},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3777119219303131},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.29017406702041626},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.26778554916381836},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15199744701385498},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.14680379629135132}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8011420965194702},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.7436798810958862},{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.7271224856376648},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5380546450614929},{"id":"https://openalex.org/C52703633","wikidata":"https://www.wikidata.org/wiki/Q676835","display_name":"Recursively enumerable set","level":3,"score":0.5371279120445251},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.535344660282135},{"id":"https://openalex.org/C196773441","wikidata":"https://www.wikidata.org/wiki/Q1475294","display_name":"Maximal element","level":3,"score":0.5042134523391724},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.48973512649536133},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.47095543146133423},{"id":"https://openalex.org/C94931360","wikidata":"https://www.wikidata.org/wiki/Q607728","display_name":"Irrational number","level":2,"score":0.4600211977958679},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4566475749015808},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.4431617259979248},{"id":"https://openalex.org/C188521023","wikidata":"https://www.wikidata.org/wiki/Q6795644","display_name":"Maximal set","level":3,"score":0.4379497766494751},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.42539751529693604},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3777119219303131},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.29017406702041626},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.26778554916381836},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15199744701385498},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14680379629135132},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"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/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/0168-0072(95)00067-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0168-0072(95)00067-4","pdf_url":"https://www.sciencedirect.com/science/article/pii/0168007295000674/pdf","source":{"id":"https://openalex.org/S172477885","display_name":"Annals of Pure and Applied Logic","issn_l":"0168-0072","issn":["0168-0072","1873-2461"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Pure and Applied Logic","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/0168-0072(95)00067-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/0168-0072(95)00067-4","pdf_url":"https://www.sciencedirect.com/science/article/pii/0168007295000674/pdf","source":{"id":"https://openalex.org/S172477885","display_name":"Annals of Pure and Applied Logic","issn_l":"0168-0072","issn":["0168-0072","1873-2461"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Pure and Applied Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.699999988079071,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2003774222.pdf","grobid_xml":"https://content.openalex.org/works/W2003774222.grobid-xml"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W63176152","https://openalex.org/W237194509","https://openalex.org/W617762584","https://openalex.org/W636716712","https://openalex.org/W1512502927","https://openalex.org/W1537478779","https://openalex.org/W1559626229","https://openalex.org/W1590364596","https://openalex.org/W1595985678","https://openalex.org/W1973392890","https://openalex.org/W1975886595","https://openalex.org/W1984650258","https://openalex.org/W1986581424","https://openalex.org/W1988133476","https://openalex.org/W2002182665","https://openalex.org/W2010839695","https://openalex.org/W2013047928","https://openalex.org/W2016660294","https://openalex.org/W2037320888","https://openalex.org/W2041725991","https://openalex.org/W2045460746","https://openalex.org/W2056414301","https://openalex.org/W2058076225","https://openalex.org/W2060439819","https://openalex.org/W2065683845","https://openalex.org/W2067792740","https://openalex.org/W2082226367","https://openalex.org/W2083713063","https://openalex.org/W2093541252","https://openalex.org/W2122841842","https://openalex.org/W2126544183","https://openalex.org/W2127553594","https://openalex.org/W2128996113","https://openalex.org/W2140501550","https://openalex.org/W2160161200","https://openalex.org/W2168645375","https://openalex.org/W2206813992","https://openalex.org/W2333253576","https://openalex.org/W2484632590","https://openalex.org/W2490561030","https://openalex.org/W2530006810","https://openalex.org/W2574677321","https://openalex.org/W2898851980","https://openalex.org/W2905135108","https://openalex.org/W4206210214","https://openalex.org/W4210540924","https://openalex.org/W4211265583","https://openalex.org/W4232809388","https://openalex.org/W4235576671","https://openalex.org/W4239085824","https://openalex.org/W4255811391","https://openalex.org/W6620604283","https://openalex.org/W6632052056","https://openalex.org/W6633471653","https://openalex.org/W6635377237","https://openalex.org/W6646627739","https://openalex.org/W6685008841","https://openalex.org/W6688169612","https://openalex.org/W6857674426"],"related_works":["https://openalex.org/W2037833610","https://openalex.org/W2089792255","https://openalex.org/W2066136688","https://openalex.org/W2010076006","https://openalex.org/W3135018072","https://openalex.org/W584827857","https://openalex.org/W27019768","https://openalex.org/W4242181248","https://openalex.org/W2157757665","https://openalex.org/W2003774222"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}