{"id":"https://openalex.org/W4255046774","doi":"https://doi.org/10.1017/s0022481200028061","title":"Provability of the pigeonhole principle and the existence of infinitely many primes","display_name":"Provability of the pigeonhole principle and the existence of infinitely many primes","publication_year":1988,"publication_date":"1988-12-01","ids":{"openalex":"https://openalex.org/W4255046774","doi":"https://doi.org/10.1017/s0022481200028061"},"language":"en","primary_location":{"id":"doi:10.1017/s0022481200028061","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0022481200028061","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/A5028321335","display_name":"J. B. Paris","orcid":"https://orcid.org/0000-0001-5708-9833"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"J. B. Paris","raw_affiliation_strings":["Department of Mathematics, University of Manchester, Manchester M13 9PL, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Manchester, Manchester M13 9PL, England","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103537165","display_name":"A. J. Wilkie","orcid":null},"institutions":[{"id":"https://openalex.org/I4210105926","display_name":"Institute of Mathematics and Informatics","ror":"https://ror.org/01b5dy719","country_code":"BG","type":"facility","lineage":["https://openalex.org/I24768866","https://openalex.org/I4210105926"]},{"id":"https://openalex.org/I4210120266","display_name":"Czech Academy of Sciences, Institute of Mathematics","ror":"https://ror.org/02tv1yf50","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210120266"]}],"countries":["BG","CZ"],"is_corresponding":false,"raw_author_name":"A. J. Wilkie","raw_affiliation_strings":["Institute of Mathematics, Oxford 0X1 3Lb, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, Oxford 0X1 3Lb, England","institution_ids":["https://openalex.org/I4210105926","https://openalex.org/I4210120266"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080340008","display_name":"Alan R. Woods","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. R. Woods","raw_affiliation_strings":["Department of Mathematics, Yale University, New Haven, Connecticut 06520"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Yale University, New Haven, Connecticut 06520","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.5207,"has_fulltext":false,"cited_by_count":88,"citation_normalized_percentile":{"value":0.68476312,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"53","issue":"4","first_page":"1235","last_page":"1244"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T12133","display_name":"Pragmatism in Philosophy and Education","score":0.9700000286102295,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9528999924659729,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/pigeonhole-principle","display_name":"Pigeonhole principle","score":0.8196824789047241},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.784677267074585},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5659606456756592},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5475120544433594},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4567069709300995},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.42075997591018677},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4200447201728821},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.4143863916397095},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.41291525959968567},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.12048295140266418}],"concepts":[{"id":"https://openalex.org/C171988527","wikidata":"https://www.wikidata.org/wiki/Q188276","display_name":"Pigeonhole principle","level":2,"score":0.8196824789047241},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.784677267074585},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5659606456756592},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5475120544433594},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4567069709300995},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.42075997591018677},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4200447201728821},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4143863916397095},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.41291525959968567},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.12048295140266418},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0022481200028061","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0022481200028061","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W13300039","https://openalex.org/W802852870","https://openalex.org/W2011612028"],"related_works":["https://openalex.org/W1902951782","https://openalex.org/W1521859395","https://openalex.org/W2041857712","https://openalex.org/W256057417","https://openalex.org/W2949596015","https://openalex.org/W2090339500","https://openalex.org/W2026967932","https://openalex.org/W2029390834","https://openalex.org/W2062058334","https://openalex.org/W4213091458"],"abstract_inverted_index":{"In":[0,106,209],"this":[1,160,166],"note":[2],"we":[3,75,125,138,158,170,183,189,195],"shall":[4,76,126,184],"be":[5,97,111,214,223],"interested":[6],"in":[7,59,117,144,168,186],"the":[8,28,51,113,129,162,197,200,203,260,280,283],"following":[9],"problems.":[10],"Problem":[11,37,73,79,136],"1.":[12,237,264,276],"Can":[13,39],"I\u03940":[14,40,86,90],"\u22a2":[15,41],"\u2200x\u2203y":[16],">":[17,275],"x(y":[18],"is":[19,24,50,87,142,161,282],"prime)?":[20],"Here":[21,44,245],"I":[22],"\u03940":[23,42,45,63,230],"Peano":[25],"arithmetic":[26],"with":[27,232,272],"induction":[29],"axiom":[30],"restricted":[31],"to":[32,72,112,175],"bounded":[33],"(i.e.":[34],"\u03940)":[35],"formulae.":[36],"2.":[38],"PHP?":[43],"PHP":[46],"(\u03940":[47],"pigeonhole":[48],"principle)":[49],"schema":[52],"for":[53,61,101,147],"\u03b8":[54],"\u2208":[55,149,153,240,243],"\u03940,":[56,154,244],"or":[57],"equivalently":[58],"I\u03940,":[60,220],"a":[62,82,215,274],"formula":[64],"F(x,y)":[65],"written":[66],".":[67],"By":[68],"obtaining":[69],"partial":[70],"solutions":[71],"2":[74,115,137],"show":[77,185],"that":[78,140,146,169],"1":[80],"has":[81],"positive":[83],"solution":[84],"if":[85,194],"replaced":[88],"by":[89,178,229],"+":[91,122,250],"\u2200xxlog(x)":[92],"exists.":[93],"Our":[94],"notation":[95],"will":[96,110],"entirely":[98],"standard":[99],"(see":[100],"example":[102],"[3]":[103],"and":[104,116,151,205,221,271,273],"[4]).":[105],"particular":[107],"all":[108],"logarithms":[109],"base":[114],"expressions":[118],"like":[119],"log(x),":[120],"(1":[121],"\u03b5)x,":[123],"etc.":[124],"always":[127],"mean":[128],"integer":[130],"part":[131],"of":[132,165,202,207,219,226,279],"these":[133],"quantities.":[134],"Concerning":[135],"remark":[139],"it":[141],"shown":[143],"[5]":[145],"k":[148,239,262],"N":[150,241],"F":[152],"As":[155],"far":[156],"as":[157,182],"know":[159,173],"best":[163],"result":[164],"form,":[167],"do":[171,191],"not":[172],"how":[174],"replace":[176],"log(z)k":[177],"anything":[179],"larger.":[180],"However,":[181],"Theorem":[187,236],"1,":[188],"can":[190],"much":[192],"better":[193],"increase":[196],"difference":[198],"between":[199],"sizes":[201],"domain":[204],"range":[206],"F.":[208],"what":[210],"follows":[211],"let":[212,222],"M":[213,227,267],"countable":[216],"nonstandard":[217],"model":[218],"those":[224],"subsets":[225],"defined":[228],"formulae":[231],"parameters":[233],"from":[234],"M.":[235],"For":[238],"andF":[242],"log0(x)":[246],"=":[247,252,263],"x,":[248],"logk":[249],"1(x)":[251],"log(logk(x)).":[253],"Proof.":[254],"To":[255],"simplify":[256],"matters,":[257],"consider":[258],"first":[259],"case":[261],"So":[265],"assume":[266],"\u22a8":[268],"alog(a)":[269],"exists":[270],"The":[277],"idea":[278],"proof":[281],"following.":[284]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":28},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}