{"id":"https://openalex.org/W1598862932","doi":"https://doi.org/10.1007/978-3-540-73001-9_73","title":"A Useful Undecidable Theory","display_name":"A Useful Undecidable Theory","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W1598862932","doi":"https://doi.org/10.1007/978-3-540-73001-9_73","mag":"1598862932"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-73001-9_73","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73001-9_73","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5035858448","display_name":"Victor Selivanov","orcid":"https://orcid.org/0000-0003-4316-0859"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Victor L. Selivanov","raw_affiliation_strings":["A.P. Ershov Institute of Informatics Systems, Siberian Division Russian Academy of Sciences, and Theoretische Informatik, Universit\u00e4t W\u00fcrzburg, Germany","A.P. Ershov Institute of Informatics Systems, Siberian Division Russian Academy of Sciences, and Theoretische Informatik, Universit\u00e4t W\u00fcrzburg,"],"affiliations":[{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division Russian Academy of Sciences, and Theoretische Informatik, Universit\u00e4t W\u00fcrzburg, Germany","institution_ids":[]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division Russian Academy of Sciences, and Theoretische Informatik, Universit\u00e4t W\u00fcrzburg,","institution_ids":["https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5035858448"],"corresponding_institution_ids":["https://openalex.org/I1313323035"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6821,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71584921,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"685","last_page":"694"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991999864578247,"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.9991999864578247,"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.9850000143051147,"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/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.9830999970436096,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/undecidable-problem","display_name":"Undecidable problem","score":0.9830101728439331},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.7324510812759399},{"id":"https://openalex.org/keywords/computability-theory","display_name":"Computability theory","score":0.6060222387313843},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5848121643066406},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.47511348128318787},{"id":"https://openalex.org/keywords/baire-space","display_name":"Baire space","score":0.47363796830177307},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4395598769187927},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4350179135799408},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.42419955134391785},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4229673147201538},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3616557717323303},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.251054048538208},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.236616313457489},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21929049491882324},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.08985301852226257}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.9830101728439331},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.7324510812759399},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.6060222387313843},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5848121643066406},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.47511348128318787},{"id":"https://openalex.org/C166359235","wikidata":"https://www.wikidata.org/wiki/Q1150180","display_name":"Baire space","level":2,"score":0.47363796830177307},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4395598769187927},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4350179135799408},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.42419955134391785},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4229673147201538},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3616557717323303},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.251054048538208},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.236616313457489},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21929049491882324},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.08985301852226257},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-73001-9_73","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73001-9_73","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W137682531","https://openalex.org/W623765668","https://openalex.org/W1537377488","https://openalex.org/W1537811022","https://openalex.org/W1539382740","https://openalex.org/W2061257995","https://openalex.org/W2093397547","https://openalex.org/W2141839210","https://openalex.org/W2914212232","https://openalex.org/W3030514506","https://openalex.org/W4285719527","https://openalex.org/W4388298908"],"related_works":["https://openalex.org/W2288531606","https://openalex.org/W2478153408","https://openalex.org/W4247585886","https://openalex.org/W2478355653","https://openalex.org/W2072088733","https://openalex.org/W1555412307","https://openalex.org/W2759753768","https://openalex.org/W1971232640","https://openalex.org/W596942210","https://openalex.org/W4205637466"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}