{"id":"https://openalex.org/W2167226116","doi":"https://doi.org/10.1305/ndjfl/1093635585","title":"Derivability conditions on Rosser's provability predicates.","display_name":"Derivability conditions on Rosser's provability predicates.","publication_year":1990,"publication_date":"1990-09-01","ids":{"openalex":"https://openalex.org/W2167226116","doi":"https://doi.org/10.1305/ndjfl/1093635585","mag":"2167226116"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635585","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315572","https://openalex.org/P4310315698"],"host_organization_lineage_names":["Duke University","Duke University Press"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1305/ndjfl/1093635585","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110301130","display_name":"Toshiyasu Arai","orcid":null},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"funder","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Toshiyasu Arai","raw_affiliation_strings":["Department of Mathematics School of Science Nagoya University Chikusa-ku Nagoya 464-01 Japan"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics School of Science Nagoya University Chikusa-ku Nagoya 464-01 Japan","institution_ids":["https://openalex.org/I60134161"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110301130"],"corresponding_institution_ids":["https://openalex.org/I60134161"],"apc_list":null,"apc_paid":null,"fwci":0.409,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":23,"citation_normalized_percentile":{"value":0.873502,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":"31","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.997,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.997,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9959,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9878,"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":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5772536},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4477093},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3987375},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.32412612},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.029631436},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635585","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315572","https://openalex.org/P4310315698"],"host_organization_lineage_names":["Duke University","Duke University Press"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093635585","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-31/issue-4/Derivability-conditions-on-Rossers-provability-predicates/10.1305/ndjfl/1093635585.pdf","source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635585","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315572","https://openalex.org/P4310315698"],"host_organization_lineage_names":["Duke University","Duke University Press"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"score":0.46,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":1,"referenced_works":["https://openalex.org/W1515761141"],"related_works":["https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2911598644","https://openalex.org/W2748952813","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694"],"abstract_inverted_index":{"This":[0],"paper":[1,6,182],"is":[2,35,54,224,261,269,287],"complementary":[3],"to":[4,38,176,226,307,311],"a":[5,13,41,63,81,162,216,228],"by":[7,56,172],"Guaspari":[8],"and":[9,32,94,115,142,265],"Solovay.Let":[10],"\u038eh(x)":[11],"denote":[12,152],"\u03a3":[14],"t":[15],"provability":[16,48,83,212,229,281],"predicate":[17,49,84,230,282],"3y\u03b8(y,x)":[18],"for":[19,40,52,86,167,184,191,200,252,285,314],"PRA":[20,99,148,239,264],"(Primitive":[21,149],"Recursive":[22,150],"Arithmetic).We":[23],"assume":[24],"that":[25,66,98,259],"formulas":[26,91],"are":[27],"in":[28,161,180,240,263],"negation":[29],"normal":[30],"form,":[31],"hence":[33],"-i-i\u03c6":[34],"literally":[36],"equal":[37],"\u03c6":[39,255,260,267],"formula":[42,254],"\u03c6.The":[43],"symmetric":[44,208,277],"form":[45,209,278],"of":[46,79,188,194,210,238,273,279],"Rosser's":[47,211,280],"Th":[50,53,57,92,95,118,145],"R":[51,58,146,284,291],"defined":[55,288],"(\u039br)":[59],":where":[60],"-H":[61],"denotes":[62],"function":[64,165],"such":[65,97],"-\u03ae":[67],"r":[68,77,110,266],"\u03a6~]":[69],"=":[70,131,297,299],"\u0393":[71,125,129,132,250],"-'\u03a6~I":[72],"with":[73,221],"the":[74,153,192,207,236,245,270,275,312],"G\u03ccdel":[75],"number":[76,272],"\u03a6~*":[78],"\u03c6.For":[80],"Canonical*":[82],"P":[85,214,234,243,283,286,290],"PRA,":[87,189,241],"we":[88,196],"construct":[89],"\u03a3\u03b9":[90],"2":[93,119],"3":[96,122],"proves":[100],"yfx":[101],"9":[102,114,219,302],"y[F(x-^y)":[103],"-*":[104,128],"(F(x)":[105],"->F(y))],":[106],"Vx[G(x)":[107],"->":[108,134],"G(":[109],"G(x)":[111],"n":[112,136],")]":[113],"vx[P(x)":[116],"<-\u2022":[117],"(x)":[120,292],"<-Th":[121],"(x)],":[123],"where":[124],"\u03c8":[126,135],"\u03c0":[127],">~1":[130],"\u03a6":[133],",":[137],"F(x)":[138],":*=>":[139],"Thf":[140],"(JC),":[141],"G(\u039b\u0393)":[143],":\u00ab":[144],"(x).Let":[147],"Arithmetic)":[151],"theory":[154],"obtainable":[155],"from":[156],"PA":[157],"(Peano":[158],"Arithmetic":[159],"formulated":[160],"language":[163],"containing":[164],"symbols":[166],"all":[168],"primitive":[169],"recursive":[170],"functions)":[171],"restricting":[173],"induction":[174],"axioms":[175],"quantifierfree":[177],"formulas.All":[178],"results":[179,198],"this":[181],"hold":[183],"any":[185],"1-consistent":[186],"r.e.extension":[187],"but":[190],"sake":[193],"definiteness":[195],"state":[197],"only":[199],"PRA.We":[201],"will":[202],"consider":[203],"derivability":[204],"conditions":[205],"on":[206],"predicates.Let":[213],"be":[215,227],"\u03a3?-formula,":[217],"3y\u03b8(y":[218],"x),":[220],"\u03b8":[222],"quantifier-free.P":[223],"said":[225],"(for":[231],"PRA)":[232],"if":[233],"numerates":[235],"theorems":[237],"i.e.,":[242],"satisfies":[244],"following:":[246],"DlV\u03c6":[247],"*=*":[248],"\\-P(":[249],"\u03c6~])":[251],"every":[253],"9where":[256],"V\u03c6":[257],"means":[258],"derivable":[262],"1":[268],"Godel":[271],"\u03c6.Then":[274],"so-called":[276],"by:":[289],":":[293],"*=>":[294],"3y[\u03b8(y,x)":[295],"\u039b\\fMz":[300],"-*\u03b8(z":[301],"v))]":[303],"*I":[304],"would":[305],"like":[306],"express":[308],"my":[309],"thanks":[310],"referee":[313],"some":[315],"valuable":[316],"suggestions.":[317]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2167226116","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-03-17T11:09:24.856022","created_date":"2016-06-24"}