{"id":"https://openalex.org/W1979431369","doi":"https://doi.org/10.2307/2272119","title":"On deciding the provability of certain fixed point statements","display_name":"On deciding the provability of certain fixed point statements","publication_year":1977,"publication_date":"1977-06-01","ids":{"openalex":"https://openalex.org/W1979431369","doi":"https://doi.org/10.2307/2272119","mag":"1979431369"},"language":"en","primary_location":{"id":"doi:10.2307/2272119","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272119","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/A5008053802","display_name":"George Boolos","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"George Boolos","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, Massachusetts 02139","Massachusetts Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, Massachusetts 02139","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008053802"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.07621736,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"42","issue":"2","first_page":"191","last_page":"193"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9973999857902527,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9973999857902527,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9922000169754028,"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/T10142","display_name":"Formal Methods in Verification","score":0.9900000095367432,"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/mathematics","display_name":"Mathematics","score":0.7107529640197754},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5956175327301025},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.43030211329460144},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.412850558757782},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.41276153922080994},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3785340189933777},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.35609740018844604},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.15823036432266235},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.12925097346305847},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11866417527198792}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7107529640197754},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5956175327301025},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.43030211329460144},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.412850558757782},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.41276153922080994},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3785340189933777},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.35609740018844604},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.15823036432266235},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.12925097346305847},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11866417527198792},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2272119","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272119","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/1183739944","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183739944","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.5600000023841858}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W2018618761","https://openalex.org/W2028227692","https://openalex.org/W2078603002"],"related_works":["https://openalex.org/W171744056","https://openalex.org/W1577881803","https://openalex.org/W2115117868","https://openalex.org/W3136886172","https://openalex.org/W4301007153","https://openalex.org/W4390013774","https://openalex.org/W2303556051","https://openalex.org/W968826431","https://openalex.org/W2085902896","https://openalex.org/W3042647161"],"abstract_inverted_index":{"Terminology":[0],".":[1,26,280],"PA":[2,19,75,85,87,97,108,122,169,184],"is":[3,14,29,38,50,131,139,151,162,177,202,229,237,244,254,351],"Peano":[4],"Arithmetic,":[5],"classical":[6],"first-order":[7],"arithmetic":[8],"with":[9,185],"induction.":[10],"\u2308":[11],"A":[12,25,28,33,42,81,90,94,99,110,116,124,128,149,172,226,267,277],"\u2309":[13],"the":[15,21,30,39,51,132,140,144,199,258,289],"formal":[16],"numeral":[17],"in":[18,353],"for":[20,55,78,288],"G\u00f6del":[22],"number":[23],"of":[24,32,41,74,84,146,154,160,183,248,257,291,307,313,346],"\u2013":[27],"negation":[31],",":[34,45,88,217,221,234,268],"(":[35,269],"A&B":[36,105,270],")":[37,49,71],"conjunction":[40],"and":[43,46,68,82,120,137,208,222,241,264,272,278,301,310,325,328],"B":[44,83,102,113,118,279],"Bew(":[47,298],"x":[48,58,70,201,296,299,303],"usual":[52,141],"provability":[53],"predicate":[54],"PA.":[56,147,354],"neg(":[57],"),":[59,63,67,271,297,300],"conj(":[60,218],"x,":[61,65],"y":[62,66],"bicond(":[64],"bew(":[69,223],"are":[72,195,210,214,305],"terms":[73],"such":[76,166],"that":[77,167,180,261],"all":[79],"sentences":[80],"\u22a2":[86,96,107,121,168],"neg(\u02f9":[89],"\u02fa)":[91,125],"=":[92,126,135],"\u02f9\u2212":[93],"\u02fa":[95],"Conj(\u02f9":[98],"\u02fa,":[100,111],"\u02f9":[101,112],"\u02fa)=":[103,114],"\u02f9(":[104,115],")\u02fa":[106],"bicond(\u02f9":[109],"\u2194":[117,171],")\u02fa,":[119],"bew(\u02f9":[123],"\u02f9Bew(\u02f9":[127],"\u02fa)\u02fa.":[129],"T":[130],"sentence":[133,142,164],"\u20180":[134],"0\u2019":[136],"Con":[138,263],"expressing":[143],"consistency":[145],"If":[148],"(x)":[150],"any":[152,347],"formula":[153,182,231],"PA,":[155],"then":[156],"a":[157,163,190,203,230,238,242,245,255,285,343],"fixed":[158,191,311,344],"point":[159,345],"A(x)":[161],"S":[165,170,174],"(\u02f9":[173],"\u02fa).":[175],"(It":[176],"well":[178],"known":[179],"every":[181],"one":[186],"free":[187],"variable":[188,200],"has":[189],"point.)":[192],"The":[193],"P-terms":[194],"defined":[196],"inductively":[197],"by:":[198],"P":[204,211,239,250,308,316,349],"-term;":[205,240],"if":[206],"t(x)":[207,224,236],"u(x)":[209],"-terms,":[212],"so":[213],"neg":[215],"(t(x))":[216,233],"t(x),":[219],"u(x))":[220],").":[225],"basic":[227,249],"P-formula":[228,243],"Bew":[232],"where":[235],"truth-functional":[246],"combination":[247],"-formulas.":[251],"An":[252],"F-sentence":[253],"member":[256],"smallest":[259],"class":[260,290],"contains":[262,265,276],"\u2212":[266],"\u2212Bew(\u02f9\u2212A\u02fa)":[273],"whenever":[274],"it":[275],"In":[281,332],"[B]":[282],"we":[283,335],"gave":[284],"decision":[286],"procedure":[287],"true":[292],"F":[293],"-sentences.":[294],"\u2212Bew(":[295],"Bew(neg(":[302],"))":[304],"examples":[306],"-formulas,":[309],"points":[312],"these":[314],"particular":[315],"-formulas":[317],"have":[318],"been":[319],"studied":[320],"by":[321],"G\u00f6del,":[322],"Henkin":[323],"[H]":[324],"L\u00f6b":[326],"[L],":[327],"Jeroslow":[329],"[J],":[330],"respectively.":[331],"this":[333],"note":[334],"show":[336],"how":[337],"to":[338],"decide":[339],"whether":[340],"or":[341],"not":[342],"given":[348],"-formula":[350],"provable":[352]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}