{"id":"https://openalex.org/W2025672083","doi":"https://doi.org/10.2307/2273500","title":"Type two partial degrees","display_name":"Type two partial degrees","publication_year":1978,"publication_date":"1978-12-01","ids":{"openalex":"https://openalex.org/W2025672083","doi":"https://doi.org/10.2307/2273500","mag":"2025672083"},"language":"en","primary_location":{"id":"doi:10.2307/2273500","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273500","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/A5108045111","display_name":"Ko\u2010Wei Lih","orcid":"https://orcid.org/0000-0003-1523-3555"},"institutions":[{"id":"https://openalex.org/I84653119","display_name":"Academia Sinica","ror":"https://ror.org/05bxb3784","country_code":"TW","type":"facility","lineage":["https://openalex.org/I84653119"]},{"id":"https://openalex.org/I4210099334","display_name":"Institute of Mathematics, Academia Sinica","ror":"https://ror.org/0120q3031","country_code":"TW","type":"facility","lineage":["https://openalex.org/I4210099334","https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Ko-Wei Lih","raw_affiliation_strings":["Institute of Mathematics, Academia Sinica, Taipei, Taiwan","INSTITUTE OF MATHEMATICS, ACADEMIA SINICA, TAIPEI, TAIWAN"],"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, Academia Sinica, Taipei, Taiwan","institution_ids":["https://openalex.org/I4210099334"]},{"raw_affiliation_string":"INSTITUTE OF MATHEMATICS, ACADEMIA SINICA, TAIPEI, TAIWAN","institution_ids":["https://openalex.org/I84653119"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5108045111"],"corresponding_institution_ids":["https://openalex.org/I4210099334","https://openalex.org/I84653119"],"apc_list":null,"apc_paid":null,"fwci":0.528,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.63034387,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"43","issue":"4","first_page":"623","last_page":"629"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9962000250816345,"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.9962000250816345,"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/T11567","display_name":"semigroups and automata theory","score":0.9793999791145325,"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/T10126","display_name":"Logic, programming, and type systems","score":0.972599983215332,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/partial-function","display_name":"Partial function","score":0.7279637455940247},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5365647673606873},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5173649191856384},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4907778203487396},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.47488778829574585},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.43154698610305786},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37531644105911255},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3316993713378906}],"concepts":[{"id":"https://openalex.org/C182359184","wikidata":"https://www.wikidata.org/wiki/Q1756942","display_name":"Partial function","level":2,"score":0.7279637455940247},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5365647673606873},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5173649191856384},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4907778203487396},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.47488778829574585},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.43154698610305786},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37531644105911255},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3316993713378906},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2273500","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273500","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/1183740307","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183740307","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":3,"referenced_works":["https://openalex.org/W1526907582","https://openalex.org/W2033831013","https://openalex.org/W2069764971"],"related_works":["https://openalex.org/W108845024","https://openalex.org/W4300125793","https://openalex.org/W2578985712","https://openalex.org/W2406961474","https://openalex.org/W2143566611","https://openalex.org/W2013740965","https://openalex.org/W588267724","https://openalex.org/W4297743441","https://openalex.org/W2952598754","https://openalex.org/W2026779193"],"abstract_inverted_index":{"Roughly":[0],"speaking":[1],"partial":[2,8,30,58,117,135,188,249,312],"degrees":[3,324,327],"are":[4,192,217,329,338],"equivalence":[5],"classes":[6,332],"of":[7,14,46,92,100,107,148,178,202,211,248,262,271,307,311,322,333],"objects":[9,31,48,68,110,118,139,191,205,216,252,273,335],"under":[10],"a":[11,37,155,161,165,172,245,259],"certain":[12],"notion":[13,20],"relative":[15,101,229],"recursiveness.":[16],"To":[17],"make":[18],"this":[19,196],"precise":[21],"we":[22,53,87,94,151,159,198,227,274,289,299,318,337],"have":[23],"to":[24,35,51,63,116,267,294],"state":[25],"explicitly":[26],"(1)":[27],"what":[28],"these":[29,47,272],"are;":[32],"(2)":[33],"how":[34],"define":[36,228],"suitable":[38],"reduction":[39,71],"procedure.":[40],"For":[41],"example,":[42],"when":[43,158,187],"the":[44,70,90,97,105,146,176,200,221,268,284,320],"type":[45,181,190,251,314],"is":[49],"restricted":[50],"one,":[52],"may":[54,113,152],"include":[55],"all":[56],"possible":[57],"functions":[59,120,136],"from":[60],"natural":[61,64,260],"numbers":[62,65],"as":[66,81,140,208],"basic":[67,301],"and":[69,111,119,233,303,325],"procedure":[72],"could":[73],"be":[74,114,185,258],"enumeration,":[75],"weak":[76],"Turing,":[77],"or":[78],"Turing":[79,264],"reducibility":[80],"expounded":[82],"in":[83,104,121,236],"Sasso":[84],"[4].":[85],"As":[86],"climb":[88],"up":[89],"ladder":[91],"types,":[93],"see":[95],"that":[96,214,336],"usual":[98],"definitions":[99,321],"recursiveness,":[102,242],"equivalent":[103],"context":[106],"type-1":[108,222],"total":[109,138,179],"functions,":[112],"extended":[115],"quite":[122],"different":[123],"ways.":[124],"First":[125],"such":[126],"generalization":[127],"was":[128],"initiated":[129],"by":[130],"Kleene":[131],"[2].":[132],"He":[133],"considers":[134],"with":[137],"arguments.":[141],"However":[142],"his":[143],"theory":[144,170,247,310],"suffers":[145],"lack":[147],"transitivity,":[149],"i.e.":[150],"not":[153,276],"obtain":[154],"recursive":[156,162,166],"function":[157,163],"substitute":[160],"into":[164],"function.":[167],"Although":[168],"Kleene's":[169,225],"provides":[171],"nice":[173],"background":[174],"for":[175],"study":[177],"higher":[180,189,250,313],"objects,":[182],"it":[183],"would":[184],"unsatisfactory":[186],"being":[193],"investigated.":[194],"In":[195,297,316],"paper":[197],"choose":[199],"hierarchy":[201],"hereditarily":[203],"consistent":[204],"over":[206],"\u03c9":[207],"our":[209,237,291,308],"universe":[210],"discourse":[212],"so":[213],"Sasso's":[215,263],"exactly":[218],"those":[219],"at":[220,283],"level.":[223],"Following":[224],"fashion":[226],"recursiveness":[230],"via":[231],"schemes":[232],"indices.":[234],"Yet":[235],"theory,":[238],"substitution":[239],"will":[240,257],"preserve":[241],"which":[243,328],"makes":[244],"degree":[246],"possible.":[253],"The":[254],"final":[255],"result":[256],"extension":[261],"reducibility.":[265],"Due":[266],"abstract":[269],"nature":[270],"do":[275],"know":[277],"much":[278],"about":[279],"their":[280],"behaviour":[281],"except":[282],"very":[285],"low":[286],"types.":[287],"Here":[288],"pay":[290],"attention":[292],"mainly":[293],"type-2":[295,334],"objects.":[296,315],"\u00a72":[298],"formulate":[300],"notions":[302],"give":[304],"an":[305],"outline":[306],"recursion":[309],"\u00a73":[317],"introduce":[319],"singular":[323],"\u03c9-consistent":[326],"two":[330],"important":[331],"most":[339],"interested":[340],"in.":[341]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}