{"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":true,"raw_author_name":"J. B. Paris","raw_affiliation_strings":["Department of Mathematics, University of Manchester, Manchester M13 9PL, England"],"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/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"]},{"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"]}],"countries":["BG","CZ"],"is_corresponding":false,"raw_author_name":"A. J. Wilkie","raw_affiliation_strings":["Institute of Mathematics, Oxford 0X1 3Lb, England"],"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"],"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":3,"corresponding_author_ids":["https://openalex.org/A5028321335"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":null,"apc_paid":null,"fwci":0.50244936,"has_fulltext":false,"cited_by_count":83,"citation_normalized_percentile":{"value":0.67873066,"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":{"pdf":false,"grobid_xml":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,138,252],"this":[1,199,205],"note":[2],"we":[3,99,162,175,197,209,225,231,237],"shall":[4,100,163,226],"be":[5,129,143,257,269],"interested":[6],"in":[7,76,149,181,207,228],"the":[8,36,66,145,166,201,239,242,245,324,345,348],"following":[9],"problems.":[10],"Problem":[11,47,97,103,173],"1.":[12,285,328,341],"Can":[13,49],"I":[14,29,50,77,110,116,263],"\u0394":[15,30,43,51,54,58,71,78,83,111,117,191,264,276,293],"0":[16,31,44,52,55,59,62,72,79,84,112,118,192,265,277,294,298],"\u22a2":[17,53],"\u2200":[18,120],"x":[19,23,123,153,159,300,303,310,316],"\u2203":[20],"y":[21,25],">":[22,340],"(":[24,87,299,309,315],"is":[26,32,65,113,179,200,347],"prime)?":[27],"Here":[28,57,296],"Peano":[33],"arithmetic":[34],"with":[35,279,337],"induction":[37],"axiom":[38],"restricted":[39],"to":[40,96,144,214],"bounded":[41],"(i.e.":[42],")":[45,89,124,158,218,301,311],"formulae.":[46],"2.":[48],"PHP?":[56],"PHP":[60],"(\u0394":[61],"pigeonhole":[63],"principle)":[64],"schema":[67],"for":[68,81,133,184],"\u03b8":[69],"\u2208":[70,186,190,288,292],",":[73,80,160,193,266,295,304],"or":[74],"equivalently":[75],"a":[82,106,258,333,339],"formula":[85],"F":[86,189,250,291],"x,y":[88],"written":[90],".":[91,251,283],"By":[92],"obtaining":[93],"partial":[94],"solutions":[95],"2":[98,147,174],"show":[101,227],"that":[102,177,183,208],"1":[104,308],"has":[105],"positive":[107],"solution":[108],"if":[109,236],"replaced":[114],"by":[115,220,275],"+":[119,156,307],"xx":[121],"log(":[122,152,216],"exists.":[125],"Our":[126],"notation":[127],"will":[128,142],"entirely":[130],"standard":[131],"(see":[132],"example":[134],"[3]":[135],"and":[136,148,188,247,267,290,336,338],"[4]).":[137],"particular":[139],"all":[140],"logarithms":[141],"base":[146],"expressions":[150],"like":[151],"),":[154],"(1":[155],"\u03b5":[157],"etc.":[161],"always":[164],"mean":[165],"integer":[167],"part":[168],"of":[169,204,244,249,262,272,344],"these":[170],"quantities.":[171],"Concerning":[172],"remark":[176],"it":[178],"shown":[180],"[5]":[182],"k":[185,219,287,306,314,326],"N":[187,289],"As":[194],"far":[195],"as":[196,224],"know":[198,212],"best":[202],"result":[203],"form,":[206],"do":[210,233],"not":[211],"how":[213],"replace":[215],"z":[217],"anything":[221],"larger.":[222],"However,":[223],"Theorem":[229,284],"1,":[230],"can":[232],"much":[234],"better":[235],"increase":[238],"difference":[240],"between":[241],"sizes":[243],"domain":[246],"range":[248],"what":[253],"follows":[254],"let":[255,268],"M":[256,273,282,331],"countable":[259],"nonstandard":[260],"model":[261],"those":[270],"subsets":[271],"defined":[274],"formulae":[278],"parameters":[280],"from":[281],"For":[286],"log":[297,305],"=":[302,312,327],"log(log":[313],")).":[317],"Proof.":[318],"To":[319],"simplify":[320],"matters,":[321],"consider":[322],"first":[323],"case":[325],"So":[329],"assume":[330],"\u22a8":[332],"log(a)":[334],"exists":[335],"The":[342],"idea":[343],"proof":[346],"following.":[349]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"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}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}