{"id":"https://openalex.org/W1984798490","doi":"https://doi.org/10.1017/s0022481200051410","title":"Uniformly defined descending sequences of degrees","display_name":"Uniformly defined descending sequences of degrees","publication_year":1976,"publication_date":"1976-06-01","ids":{"openalex":"https://openalex.org/W1984798490","doi":"https://doi.org/10.1017/s0022481200051410","mag":"1984798490"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0022481200051410","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_indexed_in_scopus":true,"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":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/A5110350210","display_name":"Harvey Friedman","orcid":null},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"funder","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Harvey Friedman","raw_affiliation_strings":["Suny at Buffalo, Amherst, New York 14226"],"affiliations":[{"raw_affiliation_string":"Suny at Buffalo, Amherst, New York 14226","institution_ids":["https://openalex.org/I63190737"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110350210"],"corresponding_institution_ids":["https://openalex.org/I63190737"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":26,"citation_normalized_percentile":{"value":0.827643,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"41","issue":"2","first_page":"363","last_page":"367"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9976,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9976,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.996,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9871,"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/sequence","display_name":"Sequence (biology)","score":0.65854615},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.6533591},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.5494102},{"id":"https://openalex.org/keywords/existential-quantification","display_name":"Existential quantification","score":0.48544747}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7468086},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.65854615},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.6533591},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5918384},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.56480163},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.56060785},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.5494102},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.48544747},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.47057006},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.42251208},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.41471714},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15396199},{"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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0022481200051410","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_indexed_in_scopus":true,"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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":4,"referenced_works":["https://openalex.org/W1513955923","https://openalex.org/W2031151986","https://openalex.org/W2067474877","https://openalex.org/W2487893106"],"related_works":["https://openalex.org/W4251616931","https://openalex.org/W4236875255","https://openalex.org/W4236063079","https://openalex.org/W3123320268","https://openalex.org/W2473542051","https://openalex.org/W24103497","https://openalex.org/W2148695585","https://openalex.org/W2143851127","https://openalex.org/W2125385818","https://openalex.org/W2031908540"],"abstract_inverted_index":{"This":[0],"paper":[1],"answers":[2],"some":[3,307],"questions":[4],"which":[5,27,51,100,115,121,148,204],"naturally":[6],"arise":[7],"from":[8],"the":[9,16,37,61,73,264,280,293],"Spector-Gandy":[10],"proof":[11,41,70,108],"of":[12,21,63,66,203,259,263,296],"their":[13,107],"theorem":[14],"that":[15,109,162,170,177,193,227,251,270],"\u03c0":[17],"1":[18,19,33,34,275],"sets":[20],"natural":[22,144],"numbers":[23],"are":[24,28,52,111,116,123,152],"precisely":[25],"those":[26],"defined":[29],"by":[30,283],"a":[31,79,86,165,197,219,245,277],"\u03a3":[32],"formula":[35],"over":[36],"hyperarithmetic":[38,173,241],"sets.":[39],"Their":[40],"used":[42],"hierarchies":[43],"on":[44,72,98,120,128,147,184,234],"recursive":[45,80,112,149,166,198],"linear":[46,81,113,150,167,199],"orderings":[47,114,151],"(":[48,298],"H":[49,96,124,131,154,179,229],"-sets)":[50],"not":[53,117],"well":[54,87,118],"orderings.":[55],"(In":[56],"this":[57],"respect":[58],"they":[59],"anticipated":[60],"study":[62],"nonstandard":[64,130],"models":[65],"set":[67,278],"theory.)":[68],"The":[69],"hinged":[71],"following":[74],"fact.":[75],"Let":[76],"e":[77,84,99,169,185,195,235,238],"be":[78,137,182,232],"ordering.":[82],"Then":[83],"is":[85,94,101,143,160,190,196,216,253,276,292],"ordering":[88,168],"if":[89,92,194],"and":[90,209,287],"only":[91],"there":[93,110,122,153,163,252],"an":[95,206,228],"-set":[97,180,230],"hyperarithmetic.":[102],"It":[103,142],"was":[104],"implicit":[105],"in":[106,139,279],"orderings,":[119],"-sets.":[125],"Further":[126],"information":[127],"such":[129,176,226,269],"-sets":[132],"(often":[133],"called":[134,223],"pseudohierarchies)":[135],"can":[136,181,231],"found":[138],"Harrison":[140],"[4].":[141],"to":[145],"ask:":[146],"-sets?":[155],"In":[156,187,244],"Friedman":[157,248],"[1]":[158,188],"it":[159,189],"shown":[161,192],"exists":[164],"has":[171,205,211,239],"no":[172,178,240,254],"descending":[174,242],"sequences":[175],"placed":[183,233],".":[186,311],"also":[191],"ordering,":[200],"every":[201],"point":[202,221],"immediate":[207],"successor":[208],"either":[210],"finitely":[212,217],"many":[213],"predecessors":[214],"or":[215],"above":[218],"limit":[220],"(heretofore":[222],"adequate":[224],")":[225,305],",":[236,286,301],"then":[237],"sequences.":[243],"related":[246],"paper,":[247],"[2]":[249],"shows":[250],"infinite":[255],"sequence":[256],"x":[257,272,284,289,299,302],"n":[258,273,285,290,300,303],"codes":[260],"for":[261,306],"\u03c9-models":[262],"arithmetic":[265,309],"comprehension":[266],"axiom":[267],"scheme":[268],"each":[271,288],"+":[274],"\u03c9-model":[281],"coded":[282],"+1":[291,304],"unique":[294],"solution":[295],"P":[297,310],"fixed":[308]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1984798490","counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-03-20T02:27:08.794465","created_date":"2016-06-24"}