{"id":"https://openalex.org/W2065582132","doi":"https://doi.org/10.2307/2275173","title":"Local behaviour of the Chebyshev theorem in models of <i>I</i>\u22bf<sub>0</sub>","display_name":"Local behaviour of the Chebyshev theorem in models of <i>I</i>\u22bf<sub>0</sub>","publication_year":1992,"publication_date":"1992-03-01","ids":{"openalex":"https://openalex.org/W2065582132","doi":"https://doi.org/10.2307/2275173","mag":"2065582132"},"language":"en","primary_location":{"id":"doi:10.2307/2275173","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275173","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/A5066369094","display_name":"Paola D\u2019Aquino","orcid":"https://orcid.org/0000-0003-4607-3689"},"institutions":[{"id":"https://openalex.org/I4210120676","display_name":"Mathematical Institute of the Slovak Academy of Sciences","ror":"https://ror.org/02fhy7464","country_code":"SK","type":"facility","lineage":["https://openalex.org/I207624831","https://openalex.org/I4210120676"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB","SK"],"is_corresponding":true,"raw_author_name":"Paola D'Aquino","raw_affiliation_strings":["Mathematical Institute, Oxford University, Oxford OX1 3LB, England, E-mail:","Oxford University"],"affiliations":[{"raw_affiliation_string":"Mathematical Institute, Oxford University, Oxford OX1 3LB, England, E-mail:","institution_ids":["https://openalex.org/I4210120676"]},{"raw_affiliation_string":"Oxford University","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066369094"],"corresponding_institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210120676"],"apc_list":null,"apc_paid":null,"fwci":1.8325,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.84591948,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"57","issue":"1","first_page":"12","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9962000250816345,"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.9962000250816345,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9930999875068665,"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/T12170","display_name":"History and Theory of Mathematics","score":0.9829000234603882,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"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/mathematics","display_name":"Mathematics","score":0.825139045715332},{"id":"https://openalex.org/keywords/exponentiation","display_name":"Exponentiation","score":0.6414837837219238},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6151354908943176},{"id":"https://openalex.org/keywords/binomial-coefficient","display_name":"Binomial coefficient","score":0.551134467124939},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.544359564781189},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.4697611331939697},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.42501550912857056},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4184038043022156},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09872820973396301}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.825139045715332},{"id":"https://openalex.org/C81539297","wikidata":"https://www.wikidata.org/wiki/Q33456","display_name":"Exponentiation","level":2,"score":0.6414837837219238},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6151354908943176},{"id":"https://openalex.org/C34718186","wikidata":"https://www.wikidata.org/wiki/Q209875","display_name":"Binomial coefficient","level":2,"score":0.551134467124939},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.544359564781189},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.4697611331939697},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.42501550912857056},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4184038043022156},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09872820973396301},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2275173","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275173","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":8,"referenced_works":["https://openalex.org/W1572440476","https://openalex.org/W2011612028","https://openalex.org/W2040404640","https://openalex.org/W2076597612","https://openalex.org/W2170605748","https://openalex.org/W3128307576","https://openalex.org/W3133519615","https://openalex.org/W3175367423"],"related_works":["https://openalex.org/W171744056","https://openalex.org/W1577881803","https://openalex.org/W3136886172","https://openalex.org/W2146906212","https://openalex.org/W4301007153","https://openalex.org/W4390013774","https://openalex.org/W2303556051","https://openalex.org/W2951195380","https://openalex.org/W2131691859","https://openalex.org/W1986380412"],"abstract_inverted_index":{"Let":[0],"I":[1,35,86],"\u22bf":[2,36,87,147,192,208,250,294,322,346],"0":[3,19,37,88,148,193,209,251,287,295,323,347,370],"denote":[4,334],"the":[5,25,32,43,52,65,151,179,220,223,228,233,311,318,355,358],"fragment":[6],"of":[7,38,45,51,64,127,181,215,222,235,253,269,282,297,313,331,357],"Peano":[8],"arithmetic":[9],"where":[10,23],"induction":[11],"is":[12,57,98,143,178,218,305],"restricted":[13],"only":[14,137,244],"to":[15,91,130,145,188,200,353],"bounded":[16,58],"formulas":[17,22],"(\u22bf":[18],"-formulas),":[20],"i.e.":[21],"all":[24,182,266],"quantifiers":[26],"are":[27,134,272,321],"bounded.":[28],"We":[29,325],"will":[30,279,326,350],"examine":[31,280],"behaviour":[33],"in":[34,62,81,135,190,232],"Chebyshev's":[39],"classical":[40],"result":[41],"on":[42,55],"distribution":[44],"primes.":[46],"Chebyshev":[47],"showed":[48],"that":[49,176],"each":[50,63],"following":[53],"functions":[54,121],"N":[56],"by":[59,206,257,336,344],"a":[60,82,131,191,197,207,246,284,315,345],"polynomial":[61],"others:":[66],"In":[67,341],"his":[68],"proof":[69],"he":[70],"used,":[71],"as":[72],"auxiliaries,":[73],"factorials":[74],"and":[75,115,125,166,259,263,265,317,333,361,368],"binomial":[76],"coefficients.":[77],"When":[78],"we":[79,89,172,278,349],"work":[80],"weak":[83],"system":[84],"like":[85,105,122],"have":[90],"deal":[92],"with":[93],"two":[94],"problems:":[95],"(i)":[96],"There":[97],"not":[99],"an":[100,328],"immediate":[101],"meaning":[102],"for":[103],"symbols":[104],"x":[106,112,116,155,163,169,189,204,236,303],"y":[107,156,158,167,177,205,237,298,339,360,366],",":[108,114,157,165],"\u03a0":[109,160,300],"p":[110,113,161,164,301,304],"\u2264":[111,162,302],"!.":[117,170],"(ii)":[118],"Some":[119],"basic":[120],"exponentiation,":[123],"factorial,":[124],"product":[126,180],"primes":[128,183],"up":[129],"certain":[132],"element,":[133],"general":[136],"partially":[138],"definable.":[139],"The":[140,211,293],"first":[141],"problem":[142],"equivalent":[144,273],"finding":[146],"-formulas":[149],"representing":[150],"relations":[152],"z":[153,202,291,362,374],"=":[154,159,168,203,299],"While":[171],"can":[173,241],"easily":[174],"express":[175],"less":[184],"than":[185],"or":[186],"equal":[187],"-way,":[194],"it":[195,217,332,335],"requires":[196],"subtle":[198],"argument":[199],"define":[201],"-formula.":[210,249],"most":[212],"natural":[213],"way":[214],"expressing":[216],"via":[219,245],"formalization":[221],"Chinese":[224],"remainder":[225],"theorem":[226],"coding":[227],"recursion":[229],"procedure":[230],"used":[231],"definition":[234,285,330],".":[238],"But":[239],"this":[240,270,342],"be":[242,351],"expressed":[243],"\u03a3":[247],"1":[248],"-definitions":[252],"exponentiation":[254],"were":[255],"given":[256],"Paris":[258],"Bennett":[260],"(see":[261,274],"[GD]":[262],"[B]),":[264],"sensible":[267],"definitions":[268],"type":[271],"Remark":[275],"1).":[276],"Later":[277],"properties":[281],"such":[283],"E":[286,369],"(":[288,371],"x,":[289,338,365,372],"y,":[290,373],").":[292,340],"0-definition":[296],"much":[306],"more":[307],"straightforward,":[308],"since":[309],"both":[310],"relation":[312,320],"being":[314],"prime":[316],"divisibility":[319],"-definable.":[324],"give":[327],"explicit":[329],"\u03a8(":[337,364],"way,":[343],"-induction,":[348],"able":[352],"prove":[354],"uniqueness":[356],"elements":[359],"satisfying":[363],")":[367],"),":[375],"respectively.":[376]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}