{"id":"https://openalex.org/W2087443598","doi":"https://doi.org/10.1090/s0002-9947-1943-0007371-8","title":"Recursive Predicates and Quantifiers","display_name":"Recursive Predicates and Quantifiers","publication_year":1943,"publication_date":"1943-01-01","ids":{"openalex":"https://openalex.org/W2087443598","doi":"https://doi.org/10.1090/s0002-9947-1943-0007371-8","mag":"2087443598"},"language":"en","primary_location":{"id":"doi:10.1090/s0002-9947-1943-0007371-8","doi":"https://doi.org/10.1090/s0002-9947-1943-0007371-8","is_oa":true,"landing_page_url":"https://doi.org/10.1090/s0002-9947-1943-0007371-8","pdf_url":"https://www.ams.org/tran/1943-053-01/S0002-9947-1943-0007371-8/S0002-9947-1943-0007371-8.pdf","source":{"id":"https://openalex.org/S60030702","display_name":"Transactions of the American Mathematical Society","issn_l":"0002-9947","issn":["0002-9947","1088-6850"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-b","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Transactions of the American Mathematical Society","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.ams.org/tran/1943-053-01/S0002-9947-1943-0007371-8/S0002-9947-1943-0007371-8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109923902","display_name":"S. C. Kleene","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"S. C. Kleene","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5109923902"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.2286,"has_fulltext":true,"cited_by_count":371,"citation_normalized_percentile":{"value":0.87671233,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"53","issue":"1","first_page":"41","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9945999979972839,"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.9945999979972839,"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.002199999988079071,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0017000000225380063,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/recursive-predicates","display_name":"recursive predicates","score":0.7599999904632568},{"id":"https://openalex.org/keywords/quantification","display_name":"quantification","score":0.7599999904632568},{"id":"https://openalex.org/keywords/godel-s-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.9430000185966492},{"id":"https://openalex.org/keywords/elementary-number-theory","display_name":"elementary number theory","score":0.9330000281333923},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.6430000066757202},{"id":"https://openalex.org/keywords/constructive-existence-proofs","display_name":"constructive existence proofs","score":0.7229999899864197}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8692234754562378},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3965575695037842},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3668615221977234},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.33653929829597473},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2784460783004761},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1090/s0002-9947-1943-0007371-8","doi":"https://doi.org/10.1090/s0002-9947-1943-0007371-8","is_oa":true,"landing_page_url":"https://doi.org/10.1090/s0002-9947-1943-0007371-8","pdf_url":"https://www.ams.org/tran/1943-053-01/S0002-9947-1943-0007371-8/S0002-9947-1943-0007371-8.pdf","source":{"id":"https://openalex.org/S60030702","display_name":"Transactions of the American Mathematical Society","issn_l":"0002-9947","issn":["0002-9947","1088-6850"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-b","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Transactions of the American Mathematical Society","raw_type":"journal-article"},{"id":"doi:10.2307/1990131","doi":"https://doi.org/10.2307/1990131","is_oa":false,"landing_page_url":"https://doi.org/10.2307/1990131","pdf_url":null,"source":{"id":"https://openalex.org/S60030702","display_name":"Transactions of the American Mathematical Society","issn_l":"0002-9947","issn":["0002-9947","1088-6850"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-b","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Transactions of the American Mathematical Society","raw_type":"journal-article"},{"id":"pmh:oai:philarchive.org/rec/KLERPA-2","doi":null,"is_oa":false,"landing_page_url":"https://philarchive.org/rec/KLERPA-2","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/KLERPA-2","doi":null,"is_oa":false,"landing_page_url":"https://philpapers.org/rec/KLERPA-2","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1090/s0002-9947-1943-0007371-8","doi":"https://doi.org/10.1090/s0002-9947-1943-0007371-8","is_oa":true,"landing_page_url":"https://doi.org/10.1090/s0002-9947-1943-0007371-8","pdf_url":"https://www.ams.org/tran/1943-053-01/S0002-9947-1943-0007371-8/S0002-9947-1943-0007371-8.pdf","source":{"id":"https://openalex.org/S60030702","display_name":"Transactions of the American Mathematical Society","issn_l":"0002-9947","issn":["0002-9947","1088-6850"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-b","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Transactions of the American Mathematical Society","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2014699597","display_name":null,"funder_award_id":"2011\u20100030044","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G2117410492","display_name":null,"funder_award_id":"2015R1D1A1A01056634","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"}],"funders":[{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2087443598.pdf","grobid_xml":"https://content.openalex.org/works/W2087443598.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W578063101","https://openalex.org/W850599559","https://openalex.org/W1556737389","https://openalex.org/W1975810242","https://openalex.org/W1983057232","https://openalex.org/W2009003556","https://openalex.org/W2023778211","https://openalex.org/W2036869460","https://openalex.org/W2038960886","https://openalex.org/W2040094858","https://openalex.org/W2041887887","https://openalex.org/W2050219405","https://openalex.org/W2080280205","https://openalex.org/W2086727636","https://openalex.org/W2114804254","https://openalex.org/W2126160338","https://openalex.org/W2145967016","https://openalex.org/W2319210160","https://openalex.org/W2320296823","https://openalex.org/W2323777246","https://openalex.org/W2325612495","https://openalex.org/W2403653109","https://openalex.org/W2982569830","https://openalex.org/W4240128381","https://openalex.org/W4245597824","https://openalex.org/W4246081148","https://openalex.org/W4256369010","https://openalex.org/W4291166496","https://openalex.org/W4298436432"],"related_works":["https://openalex.org/W2061455584","https://openalex.org/W3004227336","https://openalex.org/W7099148025","https://openalex.org/W4254458851","https://openalex.org/W2791111477","https://openalex.org/W2725665295","https://openalex.org/W2762422546","https://openalex.org/W4238243912","https://openalex.org/W2115152224","https://openalex.org/W118143724"],"abstract_inverted_index":{"This":[0],"paper":[1],"contains":[2],"a":[3,23,82,109,115,130,133,138,170,188,193,202,216,230,238,279,287,306],"general":[4,31,68,267],"theorem":[5,19,69,99],"on":[6,29,143],"the":[7,15,35,57,60,141,144,156,160,167,176,199,207,210,248,266,276,324],"quantification":[8],"of":[9,17,26,39,59,74,77,114,122,132,155,166,175,206,209,247,265,278,310,317],"recursive":[10,32,203],"predicates,":[11],"with":[12],"applications":[13,36],"to":[14,72,92,107,128,137,151,186,197,228,242,304,323],"foundations":[16],"mathematics.The":[18],"(Theorem":[20,41,45,298],"II)":[21],"is":[22,51,81,105,147,183,213,255,271,286,296],"slight":[24],"extension":[25],"previous":[27,318],"results":[28,61],"Herbrand-G\u00f6del":[30],"functions(2),":[33],"while":[34],"include":[37,305],"theorems":[38],"Church":[40],"VII)(3)":[42],"and":[43,47,111,172,312],"G\u00f6del":[44],"VIII)(4)":[46],"other":[48,126],"incompleteness":[49],"theorems.It":[50],"thought":[52],"that":[53,71,87,97,185,227,284,321],"in":[54,86,125,159],"this":[55,98,212],"treatment":[56],"relationship":[58],"stands":[62],"out":[63],"more":[64],"clearly":[65],"than":[66],"before.The":[67],"asserts":[70],"each":[73],"an":[75,244],"enumeration":[76],"predicate":[78,83,131,145,194,200,239,246],"forms,":[79],"there":[80,285],"not":[84],"expressible":[85],"form.The":[88],"predicates":[89],"considered":[90],"belong":[91],"elementary":[93],"number":[94],"theory.The":[95],"possibility":[96],"may":[100],"apply":[101],"appears":[102,283],"whenever":[103],"it":[104,182],"proposed":[106],"find":[108,129,187],"necessary":[110,171],"sufficient":[112,173],"condition":[113,174],"certain":[116,217],"kind":[117,135,178],"for":[118,163,192,215,237,291],"some":[119,164],"given":[120,134,139,168],"property":[121,169],"natural":[123],"numbers;":[124],"words,":[127],"equivalent":[136,245],"predicate.If":[140],"specifications":[142],"which":[146,219,292],"being":[148],"sought":[149],"amount":[150],"its":[152],"having":[153],"one":[154,205],"forms":[157],"listed":[158],"theorem,":[161,211,261],"then":[162],"selection":[165],"desired":[177],"cannot":[179],"exist.In":[180],"particular,":[181],"recognized":[184],"complete":[189,231,308],"algorithmic":[190],"theory":[191,234],"P(a)":[195],"amounts":[196,241],"expressing":[198],"as":[201,262],"predicate.By":[204],"cases":[208],"impossible":[214],"P(a),":[218],"gives":[220],"us":[221],"Church's":[222],"theorem.Again,":[223],"when":[224,273],"we":[225,257,274],"recognize":[226],"give":[229],"formal":[232],"deductive":[233],"(symbolic":[235],"logic)":[236],"P{a)":[240],"finding":[243],"form":[249],"(Ex)R(a,":[250],"x)":[251,254],"where":[252],"R(a,":[253],"recursive,":[256],"have":[258],"immediately":[259],"G\u00f6del's":[260],"another":[263,269],"case":[264],"theorem.Still":[268],"application":[270],"made,":[272],"consider":[275],"nature":[277],"constructive":[280,294],"existence":[281],"proof.It":[282],"proposition":[288],"provable":[289],"classically":[290],"no":[293],"proof":[295],"possible":[297],"X).The":[299],"endeavor":[300],"has":[301],"been":[302],"made":[303],"fairly":[307],"exposition":[309],"definitions":[311],"results,":[313],"including":[314],"relevant":[315],"portions":[316],"theory,":[319],"so":[320],"Presented":[322],"Society,":[325]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":21},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":26},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":25},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":12},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":10}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}