{"id":"https://openalex.org/W2014988510","doi":"https://doi.org/10.2307/2266211","title":"On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate","display_name":"On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate","publication_year":1939,"publication_date":"1939-03-01","ids":{"openalex":"https://openalex.org/W2014988510","doi":"https://doi.org/10.2307/2266211","mag":"2014988510"},"language":"en","primary_location":{"id":"doi:10.2307/2266211","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2266211","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/A5005826863","display_name":"L\u00e1szl\u00f3 Kalm\u00e1r","orcid":null},"institutions":[{"id":"https://openalex.org/I227486990","display_name":"University of Szeged","ror":"https://ror.org/01pnej532","country_code":"HU","type":"education","lineage":["https://openalex.org/I227486990"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"L\u00e1szl\u00f3 Kalm\u00e1r","raw_affiliation_strings":["The Bolyai Institute, University Of Szeged","University of Szeged"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Bolyai Institute, University Of Szeged","institution_ids":["https://openalex.org/I227486990"]},{"raw_affiliation_string":"University of Szeged","institution_ids":["https://openalex.org/I227486990"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5005826863"],"corresponding_institution_ids":["https://openalex.org/I227486990"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.16216216,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"4","issue":"1","first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9898999929428101,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9898999929428101,"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.9854000210762024,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9538999795913696,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/ackermann-function","display_name":"Ackermann function","score":0.9790682792663574},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6433058381080627},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.5918250679969788},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5521723031997681},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.5020732879638672},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4871916174888611},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.46972715854644775},{"id":"https://openalex.org/keywords/logical-matrix","display_name":"Logical matrix","score":0.41185036301612854},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3615701198577881},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.26919183135032654},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.20271095633506775},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.13710585236549377}],"concepts":[{"id":"https://openalex.org/C33436860","wikidata":"https://www.wikidata.org/wiki/Q341835","display_name":"Ackermann function","level":3,"score":0.9790682792663574},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6433058381080627},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.5918250679969788},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5521723031997681},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5020732879638672},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4871916174888611},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.46972715854644775},{"id":"https://openalex.org/C163561899","wikidata":"https://www.wikidata.org/wiki/Q1994977","display_name":"Logical matrix","level":3,"score":0.41185036301612854},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3615701198577881},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.26919183135032654},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.20271095633506775},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.13710585236549377},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2266211","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2266211","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/1183386505","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183386505","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","score":0.8299999833106995,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W652588138","https://openalex.org/W996809567","https://openalex.org/W1964062928","https://openalex.org/W1975810242","https://openalex.org/W2006653495","https://openalex.org/W2023778211","https://openalex.org/W2064811181","https://openalex.org/W2126160338","https://openalex.org/W2323777246","https://openalex.org/W2728529722"],"related_works":["https://openalex.org/W2076743759","https://openalex.org/W4235144492","https://openalex.org/W4388435768","https://openalex.org/W3010845029","https://openalex.org/W2065940536","https://openalex.org/W2117617797","https://openalex.org/W2393661392","https://openalex.org/W4232711187","https://openalex.org/W1523927339","https://openalex.org/W2612306311"],"abstract_inverted_index":{"1.":[0],"Although":[1],"the":[2,6,31,35,45,59,65,68,73,104,109,134,151,171,200,208,214,228],"decision":[3,69],"problem":[4,37,70],"of":[5,34,42,67,83,103,170,199,216,222],"first":[7,93,117,124,156],"order":[8,94,118,125,157],"predicate":[9,131,180,219],"calculus":[10],"has":[11,86],"been":[12,87],"proved":[13,88,114,194],"by":[14,19,89,195],"Church":[15],"to":[16,29,38,51,54,81,98,122,162,235],"be":[17,52,144,193],"unsolvable":[18],"any":[20,92,116,154],"(general)":[21],"recursive":[22],"process,":[23],"perhaps":[24],"it":[25,159],"is":[26,96,120,160],"not":[27],"superfluous":[28],"investigate":[30],"possible":[32,161],"reductions":[33],"general":[36],"simple":[39],"special":[40],"cases":[41],"it.":[43],"Indeed,":[44,210],"situation":[46],"after":[47,58,207],"Church's":[48],"discovery":[49],"seems":[50],"analogous":[53,80],"that":[55,82,91,115,140],"in":[56,78],"algebra":[57],"Ruffini-Abel":[60],"theorem;":[61],"and":[62,174,204],"investigations":[63],"on":[64,227],"reduction":[66,202,232],"might":[71],"prepare":[72],"way":[74],"for":[75],"a":[76,101,128,168,175,183,196,236],"theory":[77],"logic,":[79],"Galois.":[84],"It":[85],"Ackermann":[90,201],"formula":[95,119,126,158],"equivalent":[97,121,165],"another":[99],"having":[100],"prefix":[102,169],"form":[105,172],"(1)":[106,173],"(Ex1)(x2)(Ex3)(x4)\u2026(xm).":[107],"On":[108],"other":[110,179,229],"hand,":[111,230],"I":[112,137,148],"have":[113],"some":[123],"containing":[127,177],"single,":[129],"binary,":[130],"variable.":[132],"In":[133],"present":[135],"paper,":[136],"shall":[138,149],"show":[139],"both":[141],"results":[142],"can":[143],"combined;":[145],"more":[146,237],"explicitly,":[147],"prove":[150],"Theorem.":[152],"To":[153],"given":[155],"construct":[163],"an":[164],"one":[166,206],"with":[167],"matrix":[176],"no":[178],"variable":[181],"than":[182],"single":[184],"binary":[185],"one.":[186],"2.":[187],"Of":[188],"course,":[189],"this":[190],"theorem":[191],"cannot":[192],"mere":[197],"application":[198],"method":[203,212],"mine,":[205],"other.":[209],"Ackermann's":[211],"requires":[213],"introduction":[215],"three":[217],"auxiliary":[218],"variables,":[220],"two":[221],"them":[223],"being":[224],"ternary":[225],"variables;":[226],"my":[231],"process":[233],"leads":[234],"complicated":[238],"prefix,":[239],"viz.,":[240],"(2)":[241],"(Ex1)\u2026(Exm)(xm+1)(xm+2)(Exm+3)(Exm+4).":[242]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}