{"id":"https://openalex.org/W2065582132","doi":"https://doi.org/10.2307/2275173","title":"Local behaviour of the Chebyshev theorem in models of I\u22bf0","display_name":"Local behaviour of the Chebyshev theorem in models of I\u22bf0","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":{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275173","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"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,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Paola D'Aquino","raw_affiliation_string":"","raw_affiliation_strings":[]}],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5066369094"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":19,"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":"57","issue":"1","first_page":"12","last_page":"27"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T13400","display_name":"Applications of Generalized Functions in Mathematics and Physics","score":0.9962,"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":"Applications of Generalized Functions in Mathematics and Physics","score":0.9962,"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":"Computational Complexity and Algorithmic Information Theory","score":0.9931,"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 of Mathematics in Education and Research","score":0.9829,"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":[{"keyword":"chebyshev theorem","score":0.6631},{"keyword":"local behaviour","score":0.325},{"keyword":"models","score":0.2751}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.82513905},{"id":"https://openalex.org/C81539297","wikidata":"https://www.wikidata.org/wiki/Q33456","display_name":"Exponentiation","level":2,"score":0.6414838},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6151355},{"id":"https://openalex.org/C34718186","wikidata":"https://www.wikidata.org/wiki/Q209875","display_name":"Binomial coefficient","level":2,"score":0.55113447},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.54435956},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.46976113},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4250155},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4184038},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09872821},{"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":[{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275173","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"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,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"referenced_works_count":1,"referenced_works":["https://openalex.org/W2011612028"],"related_works":["https://openalex.org/W2131691859","https://openalex.org/W1986380412","https://openalex.org/W171744056","https://openalex.org/W1577881803","https://openalex.org/W3136886172","https://openalex.org/W4301007153","https://openalex.org/W2303556051","https://openalex.org/W2146906212","https://openalex.org/W4390013774","https://openalex.org/W2951195380"],"ngrams_url":"https://api.openalex.org/works/W2065582132/ngrams","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]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2065582132","counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2024-03-20T11:26:47.780096","created_date":"2016-06-24"}