{"id":"https://openalex.org/W2022376106","doi":"https://doi.org/10.2307/2586716","title":"Forcing on bounded arithmetic II","display_name":"Forcing on bounded arithmetic II","publication_year":1998,"publication_date":"1998-09-01","ids":{"openalex":"https://openalex.org/W2022376106","doi":"https://doi.org/10.2307/2586716","mag":"2022376106"},"language":"en","primary_location":{"id":"doi:10.2307/2586716","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2586716","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/A5081729792","display_name":"Gaisi Takeuti","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"id":"https://openalex.org/I2801919071","display_name":"University of Illinois System","ror":"https://ror.org/05e94g991","country_code":"US","type":"education","lineage":["https://openalex.org/I2801919071"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gaisi Takeuti","raw_affiliation_strings":["Department of Mathematics, University of Illinois, Urbana, Illinois 61801, USA E-mail:","Department of Mathematics, University of Illinois, Urbana, Illinois 61801, USA E-mail: takeuti@math.uiuc.edu"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Illinois, Urbana, Illinois 61801, USA E-mail:","institution_ids":["https://openalex.org/I2801919071"]},{"raw_affiliation_string":"Department of Mathematics, University of Illinois, Urbana, Illinois 61801, USA E-mail: takeuti@math.uiuc.edu","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016693857","display_name":"Masahiro Yasumoto","orcid":null},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masahiro Yasumoto","raw_affiliation_strings":["Graduate School of Polymathematics, Nagoya University, Chikusa-Ku, Nagoya, 464-01, Japan E-mail:","Graduate School of Polymathematics, Nagoya University, Chikusa-Ku, Nagoya, 464-01, Japan E-mail: D42985A@nucc.cc.nagoya-u.ac.jp"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Polymathematics, Nagoya University, Chikusa-Ku, Nagoya, 464-01, Japan E-mail:","institution_ids":["https://openalex.org/I60134161"]},{"raw_affiliation_string":"Graduate School of Polymathematics, Nagoya University, Chikusa-Ku, Nagoya, 464-01, Japan E-mail: D42985A@nucc.cc.nagoya-u.ac.jp","institution_ids":["https://openalex.org/I60134161"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.15408039,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"63","issue":"3","first_page":"860","last_page":"868"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","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.998199999332428,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.996999979019165,"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/bounded-function","display_name":"Bounded function","score":0.785025954246521},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.737102746963501},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5739405155181885},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.4691770374774933},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4580700397491455},{"id":"https://openalex.org/keywords/boolean-domain","display_name":"Boolean domain","score":0.4542737901210785},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.43354228138923645},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.43162840604782104},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.3089229464530945},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.19449609518051147},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1022205650806427}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.785025954246521},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.737102746963501},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5739405155181885},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.4691770374774933},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4580700397491455},{"id":"https://openalex.org/C4926405","wikidata":"https://www.wikidata.org/wiki/Q3269980","display_name":"Boolean domain","level":5,"score":0.4542737901210785},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.43354228138923645},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.43162840604782104},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.3089229464530945},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.19449609518051147},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1022205650806427},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C169171071","wikidata":"https://www.wikidata.org/wiki/Q5449241","display_name":"Filtered algebra","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2586716","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2586716","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/1183745570","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183745570","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W49401050","https://openalex.org/W75109858","https://openalex.org/W157183268","https://openalex.org/W174270456","https://openalex.org/W560364776","https://openalex.org/W574857009","https://openalex.org/W594310934","https://openalex.org/W596942210","https://openalex.org/W636367345","https://openalex.org/W1481420216","https://openalex.org/W1483568252","https://openalex.org/W1493669822","https://openalex.org/W1504491664","https://openalex.org/W1536128637","https://openalex.org/W1569205584","https://openalex.org/W1572440476","https://openalex.org/W1971856509","https://openalex.org/W2001121794","https://openalex.org/W2002942454","https://openalex.org/W2004459113","https://openalex.org/W2009798194","https://openalex.org/W2029390834","https://openalex.org/W2074052574","https://openalex.org/W2080280205","https://openalex.org/W2094542439","https://openalex.org/W2109174551","https://openalex.org/W2115821519","https://openalex.org/W2126160338","https://openalex.org/W2132750992","https://openalex.org/W2139913735","https://openalex.org/W2167115661","https://openalex.org/W2323554188","https://openalex.org/W2330548796","https://openalex.org/W2335137778","https://openalex.org/W2595959570","https://openalex.org/W3026105695"],"related_works":["https://openalex.org/W2019240580","https://openalex.org/W2740171735","https://openalex.org/W3016842798","https://openalex.org/W1974935489","https://openalex.org/W2234833091","https://openalex.org/W2377493875","https://openalex.org/W2490231333","https://openalex.org/W2376106238","https://openalex.org/W2143150930","https://openalex.org/W1549132791"],"abstract_inverted_index":{"Forcing":[0],"method":[1,27,45],"on":[2,32,46,117],"Bounded":[3,47,118],"Arithmetic":[4,119],"was":[5,49],"first":[6],"introduced":[7],"by":[8,52,126],"J.":[9,55,74],"B.":[10],"Paris":[11],"and":[12,21,37,57,76,87,133,143,154,161,183,260,285],"A.":[13],"Wilkie":[14],"in":[15,18,60,85,99,163,190],"[10].":[16],"Then":[17,245,277],"[1],":[19],"[2]":[20],"[3],":[22],"M.":[23],"Ajtai":[24],"used":[25,79,94,197,208],"the":[26,33,38,151,191,194,209,289],"to":[28],"get":[29],"excellent":[30],"results":[31],"pigeon":[34],"hole":[35],"principle":[36],"modulo":[39],"p":[40],"counting":[41],"principle.":[42],"The":[43],"forcing":[44,116],"arithmetic":[48],"further":[50],"developed":[51,110],"P.":[53,77],"Beame,":[54],"Kraj\u00ed\u010dek":[56,75],"S.":[58],"Riis":[59],"[4],":[61],"[7],":[62,100],"[6],":[63,101],"[8],":[64,102],"[5],":[65],"[12],":[66],"[11],":[67],"[13].":[68],"It":[69],"should":[70],"be":[71],"noted":[72],"that":[73,240,267,288],"Pudl\u00e1k":[78],"an":[80,248],"idea":[81],"of":[82,115,175,193,200,214,225,233],"Boolean":[83,89,112,121,131],"valued":[84,90,113],"[9]":[86],"also":[88],"notion":[91],"is":[92,124,171,222],"efficiently":[93],"for":[95],"model":[96,174],"theoretic":[97],"constructions":[98],"[5].":[103],"In":[104],"our":[105],"previous":[106],"paper":[107],"[14],":[108],"we":[109,149,196,207],"a":[111,173,198,212,223,231,261],"version":[114],"using":[120],"algebra":[122],"which":[123],"generated":[125],"polynomial":[127,280],"size":[128],"circuits":[129],"from":[130],"variables":[132],"discussed":[134],"its":[135],"relation":[136],"with":[137,255],"NP":[138,141,146,180,187,203,215,218,228,234,237,241],"=":[139,145,202,216,227,235,242],"co-":[140,217,236],"problem":[142],"P":[144,185,201,226],"problem.":[147],"Especially":[148],"proved":[150],"following":[152,210,290],"theorem":[153],"related":[155],"theorems":[156],"as":[157,211],"Theorems":[158],"2,":[159],"3":[160],"4":[162],"Section":[164],"2.":[165],"T":[166],"heorem":[167],".":[168,188,204,238,294],"If":[169],"M[G]":[170],"not":[172,230],"S":[176],"2":[177],",":[178,219],"then":[179],"\u2260":[181,186],"co-NP":[182,243],"therefore":[184],"However":[189],"proof":[192],"Theorem,":[195],"consequence":[199,213,224,232],"More":[205],"precisely":[206],"though":[220],"it":[221],"but":[229],"Suppose":[239],"holds.":[244],"there":[246,278],"exists":[247,279],"NP-complete":[249],"predicate":[250],"\u2203x":[251,268],"\u2264":[252,269,274],"t(a)":[253,270],"A(x,a)":[254,271],"sharply":[256,262],"bounded":[257,263],"A(x,":[258],"a)":[259,265],"B(y,":[264],"such":[266,287],"\u2194":[272],"\u2200y":[273],"s(a)B(y,":[275],"a).":[276],"time":[281],"computable":[282],"functions":[283],"f":[284],"g":[286],"two":[291],"sequents":[292],"hold":[293]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}