{"id":"https://openalex.org/W1975748083","doi":"https://doi.org/10.2307/2270257","title":"Decision problems for tag systems","display_name":"Decision problems for tag systems","publication_year":1971,"publication_date":"1971-06-01","ids":{"openalex":"https://openalex.org/W1975748083","doi":"https://doi.org/10.2307/2270257","mag":"1975748083"},"language":"en","primary_location":{"id":"doi:10.2307/2270257","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2270257","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"Journal of Symbolic Logic","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/A5032562524","display_name":"St\u00e5l Aanderaa","orcid":null},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"St\u00e5l Aanderaa","raw_affiliation_strings":["University of Oslo, Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066762051","display_name":"Dag Belsnes","orcid":null},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Dag Belsnes","raw_affiliation_strings":["University of Oslo, Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5032562524"],"corresponding_institution_ids":["https://openalex.org/I184942183"],"apc_list":null,"apc_paid":null,"fwci":0.7166,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.67180682,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"2","first_page":"229","last_page":"239"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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/halting-problem","display_name":"Halting problem","score":0.8290068507194519},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.7610766887664795},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.7203315496444702},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.6074426174163818},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5654861927032471},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.5249007940292358},{"id":"https://openalex.org/keywords/word-problem","display_name":"Word problem (mathematics education)","score":0.4453323483467102},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43977391719818115},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37491297721862793},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.32391786575317383},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.26578259468078613},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26527202129364014},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.10606682300567627}],"concepts":[{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.8290068507194519},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.7610766887664795},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.7203315496444702},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.6074426174163818},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5654861927032471},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.5249007940292358},{"id":"https://openalex.org/C90988201","wikidata":"https://www.wikidata.org/wiki/Q255912","display_name":"Word problem (mathematics education)","level":2,"score":0.4453323483467102},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43977391719818115},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37491297721862793},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.32391786575317383},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.26578259468078613},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26527202129364014},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.10606682300567627},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2270257","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2270257","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183737617","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183737617","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.800000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W932081378","https://openalex.org/W1975748083","https://openalex.org/W1977949996","https://openalex.org/W1978129078","https://openalex.org/W1992652529","https://openalex.org/W2012140001","https://openalex.org/W2021444653","https://openalex.org/W2048519990","https://openalex.org/W2053756189","https://openalex.org/W2061970672","https://openalex.org/W2074223891","https://openalex.org/W2076861822","https://openalex.org/W2135953485","https://openalex.org/W2142238810","https://openalex.org/W2161843469","https://openalex.org/W2326418800","https://openalex.org/W2331518422","https://openalex.org/W2530006810","https://openalex.org/W2530520115","https://openalex.org/W6836011020"],"related_works":["https://openalex.org/W72426084","https://openalex.org/W1834284857","https://openalex.org/W2319243709","https://openalex.org/W2076861822","https://openalex.org/W2066605111","https://openalex.org/W4226435716","https://openalex.org/W1975748083","https://openalex.org/W2963071007","https://openalex.org/W2784112285","https://openalex.org/W2128292076"],"abstract_inverted_index":{"The":[0,23,136],"aim":[1],"of":[2,25,62,68,92,138,166],"this":[3,155],"paper":[4],"is":[5,119,151,163],"to":[6],"study":[7],"tag":[8,27,41,64,83,113,125,161],"systems":[9],"as":[10],"defined":[11],"by":[12,35,37],"Post":[13],"[Post":[14],"1943,":[15],"pp.":[16,21,56],"203\u2013205":[17],"and":[18,48,53],"Post,":[19],"1965,":[20],"370\u2013373].":[22],"existence":[24],"a":[26,39,63,82,106,112],"system":[28,42,65,84,126,143],"with":[29],"unsolvable":[30,165],"halting":[31,60,79],"problem":[32,61,80,98,159],"was":[33],"proved":[34],"Minsky":[36,49,54],"constructing":[38],"universal":[40],"[Minsky":[43],"1961,":[44],"see":[45],"also":[46],"Cocke":[47],"1964,":[50],"Wang":[51],"1963,":[52],"1967,":[55],"267\u2013273].":[57],"Hence":[58],"the":[59,69,78,124,134,142,157],"can":[66,85],"be":[67],"complete":[70],"degree":[71,91,167],"0\u2032":[72],".":[73],"We":[74],"shall":[75],"prove":[76],"that":[77,141,154],"for":[81,109,160],"have":[86],"an":[87,130],"arbitrary":[88],"(recursively":[89],"enumerable)":[90],"undecidability":[93],"(Corollary":[94,169],"III).":[95],"A":[96],"related":[97],"arises":[99],"when":[100],"we":[101],"ask":[102],"if":[103],"there":[104,118],"exists":[105],"uniform":[107],"procedure":[108],"determining,":[110],"given":[111],"system,":[114],"whether":[115],"or":[116],"not":[117,128],"any":[120],"word":[121,132],"on":[122,146],"which":[123],"does":[127],"halt,":[129],"\u201cimmortal\u201d":[131],"in":[133],"system.":[135],"alternative,":[137],"course,":[139],"being":[140],"eventually":[144],"halts":[145],"every":[147],"(finite)":[148],"word.":[149],"It":[150],"shown":[152],"here":[153],"problem,":[156],"immortality":[158],"systems,":[162],"recursively":[164],"0\u2033":[168],"II).":[170]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}