{"id":"https://openalex.org/W1994910118","doi":"https://doi.org/10.2307/2275810","title":"Minimal complementation below uniform upper bounds for the arithmetical degrees","display_name":"Minimal complementation below uniform upper bounds for the arithmetical degrees","publication_year":1996,"publication_date":"1996-12-01","ids":{"openalex":"https://openalex.org/W1994910118","doi":"https://doi.org/10.2307/2275810","mag":"1994910118"},"language":"en","primary_location":{"id":"doi:10.2307/2275810","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275810","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/A5013465881","display_name":"Masahiro Kumabe","orcid":null},"institutions":[{"id":"https://openalex.org/I41802502","display_name":"Kanagawa University","ror":"https://ror.org/02j6c0d67","country_code":"JP","type":"education","lineage":["https://openalex.org/I41802502"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Masahiro Kumabe","raw_affiliation_strings":["University of the Air, Kanagawa Study Center, 2-31-1, Ohoka, Minami-Ku, Yokohama, 232, Japan, E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of the Air, Kanagawa Study Center, 2-31-1, Ohoka, Minami-Ku, Yokohama, 232, Japan, E-mail:","institution_ids":["https://openalex.org/I41802502"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013465881"],"corresponding_institution_ids":["https://openalex.org/I41802502"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12665929,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"61","issue":"4","first_page":"1158","last_page":"1192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9979000091552734,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/arithmetic-function","display_name":"Arithmetic function","score":0.9776736497879028},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.8235118389129639},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7361324429512024},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6261239647865295},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.48213478922843933},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45428797602653503},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07562074065208435}],"concepts":[{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.9776736497879028},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.8235118389129639},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7361324429512024},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6261239647865295},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.48213478922843933},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45428797602653503},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07562074065208435},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2275810","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275810","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"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183745129","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183745129","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W3932255","https://openalex.org/W9430111","https://openalex.org/W1970452917","https://openalex.org/W1981962996","https://openalex.org/W1986222532","https://openalex.org/W1991944027","https://openalex.org/W2003068938","https://openalex.org/W2022731330","https://openalex.org/W2026230232","https://openalex.org/W2048019510","https://openalex.org/W2051601785","https://openalex.org/W2052854342","https://openalex.org/W2074376599","https://openalex.org/W2131652429","https://openalex.org/W2144087671","https://openalex.org/W2144999713","https://openalex.org/W2500837594","https://openalex.org/W4234604068"],"related_works":["https://openalex.org/W2000071592","https://openalex.org/W1586473494","https://openalex.org/W1660676450","https://openalex.org/W2382181079","https://openalex.org/W2125955092","https://openalex.org/W2119550093","https://openalex.org/W454867","https://openalex.org/W582971654","https://openalex.org/W2861978802","https://openalex.org/W1994910118"],"abstract_inverted_index":{"This":[0,135],"paper":[1],"was":[2],"inspired":[3],"by":[4,146,160],"Lerman":[5,33,140],"[15]":[6],"in":[7,139],"which":[8,108,156,171],"he":[9],"proved":[10,37],"various":[11],"properties":[12],"of":[13,25,48,170,210],"upper":[14,26,40,49,58,68,77,92,111,121],"bounds":[15,27,41,50,93],"for":[16,28,42,51,60,70,80,90,94,113,123,199],"the":[17,22,29,43,52,61,71,81,91,95,114,124,172,208],"arithmetical":[18,30,44,53,62,72,82,96,115,125,162],"degrees.":[19,31,54,73],"We":[20,142,164],"discuss":[21],"complementation":[23,88],"property":[24],"In":[32],"[15],":[34],"it":[35],"is":[36,64,109,118,157,174,180],"that":[38,129],"uniform":[39,57,76],"degrees":[45,63,97,126],"are":[46],"jumps":[47],"So":[55],"any":[56,161,200],"bound":[59,69,78,112,122],"not":[65,158],"a":[66,75,79,86,103,107,119,137,152,154],"minimal":[67,87,120],"Given":[74],"degrees,":[83,116],"we":[84],"prove":[85,143,165],"theorem":[89,145,173],"below":[98],"a.":[99,134],"Namely,":[100],"given":[101],"such":[102,128],"and":[104,203],"b":[105,130],"<":[106],"an":[110,175],"there":[117],"c":[127,132],"\u222a":[131,191],"=":[133,187],"answers":[136],"question":[138],"[15].":[141],"this":[144],"different":[147],"methods":[148],"depending":[149],"on":[150],"whether":[151],"has":[153],"function":[155],"dominated":[159],"function.":[163],"two":[166],"propositions":[167],"(see":[168],"\u00a71),":[169],"immediate":[176],"consequence.":[177],"Our":[178],"notation":[179],"almost":[181],"standard.":[182],"Let":[183,205],"A":[184,202],"\u2295":[185],"B":[186],"{2n\u2223n":[188],"\u2208":[189,197],"A}":[190],"{2n":[192],"+":[193,195],"1\u2223n":[194,196],"B}":[198],"sets":[201],"B.":[204],"\u03c9":[206],"be":[207],"set":[209],"nonnegative":[211],"natural":[212],"numbers.":[213]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}