{"id":"https://openalex.org/W2099912947","doi":"https://doi.org/10.1002/malq.19980440311","title":"Computability Over Structures of Infinite Signature","display_name":"Computability Over Structures of Infinite Signature","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W2099912947","doi":"https://doi.org/10.1002/malq.19980440311","mag":"2099912947"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19980440311","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19980440311","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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/A5074641102","display_name":"Armin Hemmerling","orcid":null},"institutions":[{"id":"https://openalex.org/I297664341","display_name":"Kohler (New Zealand)","ror":"https://ror.org/02jht7h37","country_code":"NZ","type":"company","lineage":["https://openalex.org/I297664341","https://openalex.org/I4210128646"]},{"id":"https://openalex.org/I36522303","display_name":"Universit\u00e4t Greifswald","ror":"https://ror.org/00r1edq15","country_code":"DE","type":"education","lineage":["https://openalex.org/I36522303"]}],"countries":["DE","NZ"],"is_corresponding":true,"raw_author_name":"Armin Hemmerling","raw_affiliation_strings":["For critical remarks, hints and discussions, the author is indebted to G. Asser, C. Gassner, H. Ko\u0308hler and L. Voelkel","Institute for Mathematics and Computer Science, Ernst Moritz Arndt University, Friedrich-Ludwig-Jahn-Stra\u00dfe 15a, D\u201317487 Greifswald, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"For critical remarks, hints and discussions, the author is indebted to G. Asser, C. Gassner, H. Ko\u0308hler and L. Voelkel","institution_ids":["https://openalex.org/I297664341"]},{"raw_affiliation_string":"Institute for Mathematics and Computer Science, Ernst Moritz Arndt University, Friedrich-Ludwig-Jahn-Stra\u00dfe 15a, D\u201317487 Greifswald, Germany","institution_ids":["https://openalex.org/I36522303"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5074641102"],"corresponding_institution_ids":["https://openalex.org/I297664341","https://openalex.org/I36522303"],"apc_list":{"value":2900,"currency":"USD","value_usd":2900},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.23261084,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"44","issue":"3","first_page":"394","last_page":"416"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"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":1.0,"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.9977999925613403,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9932000041007996,"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/computability","display_name":"Computability","score":0.8110049962997437},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7316355109214783},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.6819733381271362},{"id":"https://openalex.org/keywords/universality","display_name":"Universality (dynamical systems)","score":0.593444287776947},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.5449442267417908},{"id":"https://openalex.org/keywords/scalar","display_name":"Scalar (mathematics)","score":0.48879072070121765},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4788919985294342},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.45751187205314636},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4461899995803833},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.41370314359664917},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3964959681034088},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0960027277469635},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06319403648376465}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.8110049962997437},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7316355109214783},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.6819733381271362},{"id":"https://openalex.org/C183992945","wikidata":"https://www.wikidata.org/wiki/Q2495574","display_name":"Universality (dynamical systems)","level":2,"score":0.593444287776947},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.5449442267417908},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.48879072070121765},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4788919985294342},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.45751187205314636},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4461899995803833},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.41370314359664917},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3964959681034088},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0960027277469635},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06319403648376465},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.19980440311","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19980440311","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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":12,"referenced_works":["https://openalex.org/W566064013","https://openalex.org/W1979572578","https://openalex.org/W2007014039","https://openalex.org/W2071846104","https://openalex.org/W2072114392","https://openalex.org/W2120852349","https://openalex.org/W2156565475","https://openalex.org/W2156755315","https://openalex.org/W2159504006","https://openalex.org/W4301168154","https://openalex.org/W6645320431","https://openalex.org/W6678217222"],"related_works":["https://openalex.org/W2072965782","https://openalex.org/W943848606","https://openalex.org/W2185077833","https://openalex.org/W2914940747","https://openalex.org/W2146755812","https://openalex.org/W2226598862","https://openalex.org/W2109006904","https://openalex.org/W1552949294","https://openalex.org/W2092992954","https://openalex.org/W2007089758"],"abstract_inverted_index":{"Abstract":[0],"Continuing":[1],"the":[2,7,13,41,53,57,68,72,82,134,145,151],"paper":[3,23],"[7],":[4],"in":[5],"which":[6],"Blum\u2010Shub\u2010Smale":[8],"approach":[9],"to":[10,18,64,67,97,141],"computability":[11,26],"over":[12,29,52],"reals":[14],"has":[15],"been":[16],"generalized":[17],"arbitrary":[19],"algebraic":[20],"structures,":[21,149],"this":[22,161],"deals":[24],"with":[25,36,95,119,128],"and":[27,43,47,85,90,102,125,150,153],"recognizability":[28],"structures":[30,46,76,101,108,155],"of":[31,40,48,59,71,105,115,122,136,144,148],"infinite":[32],"signature.":[33],"It":[34],"begins":[35],"discussing":[37],"related":[38,86],"properties":[39],"linear":[42,152],"scalar":[44,154],"real":[45,89],"their":[49],"discrete":[50,91],"counterparts":[51],"natural":[54],"numbers.":[55],"Then":[56],"existence":[58,135],"universal":[60,79,117],"functions":[61,80,118],"is":[62,139],"shown":[63,140],"be":[65,142],"equivalent":[66],"effective":[69,98,146],"encodability":[70,147],"underlying":[73],"structure.":[74],"Such":[75],"even":[77],"have":[78],"satisfying":[81],"s\u2010m\u2010n":[83],"theorem":[84],"features.":[87],"The":[88],"examples":[92],"are":[93,109,131,156],"discussed":[94,157],"respect":[96],"encodability.":[99],"Megiddo":[100],"computational":[103],"extensions":[104],"effectively":[106],"encodable":[107],"encodable,":[110],"too.":[111],"As":[112],"further":[113],"variants":[114],"universality,":[116],"enumerable":[120],"sets":[121,138],"program":[123],"codes":[124,130],"such":[126],"ones":[127],"constructible":[129],"investigated.":[132],"Finally,":[133],"m\u2010complete":[137],"independent":[143],"once":[158],"more,":[159],"under":[160],"aspect.":[162]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}