{“id”：“https://openalex.org/W1972812828网址“，”doi“：”https://doi.org/10.2307/2274281“，”title“：”高等类型中的遗传部分有效泛函和递归理论“，”display_name“：”高级类型中的继承部分有效泛函数和递归理论”，”publication_year“：1984，”publitation_date“：”1984-12-01“，”ids“：{”openalex“：”https://openalex.org/W1972812828“，”doi“：”https://doi.org/10.2307/2274281“，”mag“：”1972812828“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2307/2274281“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5067772512“，”display_name“：”G.Longo“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”G.Longo“，”raw _affiliation_strings“：[“意大利比萨大学\u00e0”]，”affiliations“：[{”raw _affiliation_string“：”意大利比萨高校\u00e 0”，“institution_ids”：[“https://openalex.org/I108290504“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”E.Moggi“，”raw _ afiliation_strings“：[“意大利比萨比萨大学\u00e0”]，”affiliations“：[{”raw _affiliation_strong“：”意大利比萨大学\ u00e0di Pisa”，“institution_ids”：[“https://openalex.org/I108290504“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count 49“，”issue“：”4“，”first_page“：”1319“，”last_page“：”1332“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11151“，”display_name“：”模型理论与拓扑动力学“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/2608“，”display_name“：”几何和拓扑“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11151“，”display_name“：”模型理论与拓扑动力学“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/2608“，”display_name“：”几何和拓扑“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T12002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9984，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/definable-sets网站“，”display_name“：”可定义集合“，”score“：0.503979}]，”concepts“：[{”id“：”https://openalex.org/C182359184，“wikidata”：https://www.wikidata.org/wiki/Q1756942“，”display_name“：”部分函数“，”level“：2，”score“：0.8142085}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7647904}，{”id“：”https://openalex.org/C168773036，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.71418107}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.6984303}，{”id“：”https://openalex.org/C156340839，“wikidata”：https://www.wikidata.org/wiki/Q2704791“，”display_name“：”枚举“，”级别“：2，”分数“：0.65893996}，{”id“：”https://openalex.org/C110729354，“wikidata”：https://www.wikidata.org/wiki/Q185478“，”display_name“：”可数集合“，”level“：2，”score“：0.6572626}，{”id“：”https://openalex.org/C183778304，“wikidata”：https://www.wikidata.org/wiki/Q165474“，”display_name“：”交换属性“，”level“：2，”score“：0.5424917}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.53196996}，{”id“：”https://openalex.org/C180645754，“wikidata”：https://www.wikidata.org/wiki/Q474715“，”display_name“：”部分有序集“，”level“：2，”score“：0.46660042}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3707657｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.13044608}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”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“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2307/2274281“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：6，“referrenced_works”：〔”https://openalex.org/W1484625174","https://openalex.org/W1590364596","https://openalex.org/W2020349645","https://openalex.org/W2161331421","https://openalex.org/W4243711577","https://openalex.org/W4861723“]，”related_works“：[”https://openalex.org/W4283217482网址","https://openalex.org/W4244805628","https://openalex.org/W2912407587","https://openalex.org/W2152953809","https://openalex.org/W2140464515","https://openalex.org/W2126503425","https://openalex.org/W2103305144","https://openalex.org/W2058313567","https://openalex.org/W2041561968","https://openalex.org/W108845024“]，”ngrams_url“：”https://api.openalex.org/works/W1972812828/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“A”：[1]，“type-structure”：[2]，“of”：[3,16,39,51,53]，“partial”：[4,18,24,43]，“effective”：[5,79]，“functionals”：[6,75]，“over”：[7]，“the”：[8,17,36,40,72,77]，“natural”：[3]，“numbers”：[10]，“based”：[11]，“on”：[12]，“A”：[13,26,70,77]8,48]，“规范”：[14]，“枚举”：[15]，“递归”：[19]，“函数”，：[20]，“是”：[21,47]，“发达的。“：[22]，”These“：[23]，”functionals“：[25]，”defined“：[26]，”by“：[27,57,66]，”direct“：[29]，”elementary“：[30]，”technology“，”：[31]，”turn“：[32]，”out“：[33]，”to“：[34]，”be“：[35]，”computable“：[37]，”elements“：[38]，”general“：[41,78]，”continuound“：[42]，”objects；“：[44]，”此外，“：[45]，”那里“：[46]，”交换“：[49]，”系统“：[50]，”枚举“：[52]，”任意“：[54,58]，”给定“：[55]，”类型“：[56,59]，”下面“：[60]，”（相对“：[61]，”数字）。“：[62]，”By“：[63]，”this“：[64]，”and“：[65,70,76]，”results“：/67]，”in“：[68]，”[1]“：[69]，”[2]，“：[71]，”Kleene-Kreisel“：[73]，”countable“：[74]，”operations“：[80]，”（HEO）“：[81]，”are“：+82]，”easymply“：[83]，”characterized。“：[84]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1972812828“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2021，”“cited_by_cunt”：1'，{”“年份”“：2020，”“cited_by_count”“：1}，{年”：2017，”“引用_by_cont”：2}，“年”：2015，“引用_by_count“：1{”“创建日期”：“2016-06-24”}