{“id”：“https://openalex.org/W1497630311“，”doi“：”https://doi.org/10.2307/2273377“，”title“：”完整性、不变性和\u03bb公司-definitibility”，“display_name”：“完整性、不变性和\u03bb公司-可定义性“，”发布年份“：1982，”发布日期“：”1982-03-01“，”id“：{”openalex“：”https://openalex.org/W1497630311“，”doi“：”https://doi.org/10.2307/2273377“，”mag“：”1497630311“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2307/2273377“，”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/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I102322142“，”display_name“：”罗格斯大学，新泽西州立大学“，”ror“：”https://ror.org/05vt9qd57“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I102322142“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”R.Statman“，”raw _affiliation_strings“：[“罗格斯大学，新泽西州新不伦瑞克08903”]}]，”countries_distict_count“：1，”institutions_disticent_count“：1.”corresponding_author_ids“：[https://openalex.org/A5051071400“]，”对应的机构ID“：[”https://openalex.org/I102322142“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：92，”cited_by_percentile_year“：{”min“：97，”max“：98}，”biblio“：{”volume“：“47”，“issue”：“1”，“first_page”：“17”，“last_page”：“26”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9901，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9651，”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/description-logics（https://openalex.org/keywords/description-logics）“，”display_name“：”Description Logics“，”score“：0.48223}]，”concepts“：[{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.78705835}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.728499}，{”id“：”https://openalex.org/C2780990831，“wikidata”：https://www.wikidata.org/wiki/Q319141“，”display_name“：”推测“，”级别“：2，”分数“：0.6736279}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.56610143}，{”id“：”https://openalex.org/C2777152325，“wikidata”：https://www.wikidata.org/wiki/Q108163“，”display_name“：”Proposition“，”level“：2，”score“：0.5559151}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.55231667}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.5176711}，{”id“：”https://openalex.org/C47030870，“wikidata”：https://www.wikidata.org/wiki/Q467606“，”display_name“：”模型理论“，”level“：2，”score“：0.48281655}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.48249388}，{”id“：”https://openalex.org/C190470478，“wikidata”：https://www.wikidata.org/wiki/Q2370229“，”display_name“：”不变量（物理）“，”level“：2，”score“：0.46155545｝，｛”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.44518727}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.33920723}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.12202814}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”display_name“：”数学物理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：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.2307/2273377“，”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_organization_lineage“：[”https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“liccense_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“display_name”：“体面工作和经济增长”，“score”：0.42，“id”：”https://metadata.un.org/sdg/8“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：5，”referrenced_works“：【”https://openalex.org/W1988983596","https://openalex.org/W1990121424","https://openalex.org/W2097311580","https://openalex.org/W2561675875","https://openalex.org/W4291439952“]，”related_works“：[”https://openalex.org/W996094993","https://openalex.org/W4241274674","https://openalex.org/W321640458","https://openalex.org/W236197913","https://openalex.org/W2159221465","https://openalex.org/W2108448248","https://openalex.org/W2049591942","https://openalex.org/W1971653407","https://openalex.org/W1602107066","https://openalex.org/W1532360204“]，”ngrams_url“：”https://api.openalex.org/works/W1497630311/ngrams“，”“abstract_inverted_index”：{“In”：[0142155]，“[4]”：[1]，“Gordon”：[2]，“Plotkin”：[3]，“considers”：[4,77]，“the”：[5,9,39,51,96122242]，“problem”：[6243]，“of”：[7,41,53,57,81,85174183190196230244]，“charactering”：[8]，“\u03bb”：[10,32,54118130164]，“-definitable”：[11,33,55]，“functionals”“：[12,56]，”In“：[13,38,67105]，”full“：[14,72107]，”类型“：[15,58,68,73108161205]，”结构。“：[16]，”A“：[17,45]，”似是而非“：[18]，”但是“：[19]，”作为“：[20]，”我们“：[2145158186]，”应该“：[22]，”看，“：[23]，”相当“：[24]，”假“：[25]，”推测“：[26139]，”是“：[27,31,36,99116127140]，”那“：[28,50124]，”A“：[29,61,78102106111176188194203238]，“功能”：[30103]，“\u21d4”：[34]，“it”：[35]，“invariant”：[37]，“sense”：[40]，“Fraenkel”：[42]，“以及“：[432172125235237]，”莫斯托夫斯基。“：[44]，“更好”：[46]，“猜测”：[47]，“可能”：[48]，“是”：[49]，“集”：[52173]，“\u03c3”：[59,64]，“有”：[60]，“统一”：[62]，“（in”：[63]，“）”：[65]，“定义”：[66,82]，“理论”：[69]，“超过”：[70110]，“全部”：[71]，“结构”：[74162]，“Plotkin”：[75]，“显式”：[76]，“确定”：[79]，“排序”：[80]，“by”：[83]，“表示”：[84]，“\u201clologic”：[86]，“relations\u201d）。“：[87]，“更多”：[88]，“或”：[89]，“更少”：[90]，“一般”：[91]，“一”：[92]，“可以”：[93]，“询问”：[94159]，“如果”：[95137]，“以下”：[97]，“问题”：[98126]，“可判定”。“：[100]，”给定：“：[101]，”F“：[104117]，”结构“：[109]，”有限“：[112]，”地“：[113]，”域。“：[114]，”问题：“：[115]，”-可定义？“：[119]，”We“：[120133168]，”call“：[121]，”statement“：[123]，”this“：[125143179]，”decitable“：[128]，”Plotkin's“：[129138153]，”-definitibility“：[131165]，”suggesture“。“：[132154]，”做“：[134]，”不“：[135]，”知道“：[136]，”真实。“：[141]，”注释“：[144]，”考虑“：[146]，”几个“：[147]，”问题“：[148]，”其中“：[149160]，”快速“：[150]，”出现“：[151]，”来自“：[152]，”\u00a7“：[156]，”1，“：[157]，”满足“：[163]，”=“：[166]，”不变性。“：[167]，”construct“：[169]，”for“：[170212228241]，”each“：[171]，”一致“：[172]，”equations“：[175]，”model“：[177]，”satinging“：[178]，”equality“。“：[180]，“从”：[181]，“考虑”：[182]，“这些”：[184]，“模型”：[185]，“获得”：[187]，“数字”：[189]，“句法”：[191]，“推论”：[192]，“包括”：[193]，“约简”：[195]，“\u03b2\u03b7”：[197200213220]，“-转换”：[198201214221]，“到”：[199]，“at”：[202]，“单一”：[204]，“（定理”：[206]，“3），”：[207]，“an”：[208]，“\u201c”：[209]，“\ u03c9”：[210]，“-规则\u201d“：[211]，”（命题“：[215222]，”6）“：[216]，”一致性“：[218]，”with“：[219]，”8），“：[223]，”definitibility“：[224]，”indefinability“：[226]，”results“：[227]，”versions“：[229]，”Kronecker's“：[231]，”\u03b4“：[232]，”Propositions“：/233]，”10“：[234]，”11），“：[236]，”可判定性“：[239]，”结果“：[240]，”互定义性“：/245]，”中间“：[246]，”组合符。“：[247]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1497630311“，”counts_by_year“：[｛”年份：2023，”cited_by_count“：1｝，”年份“：2018，”cited_by_count“：1｝，”年份“：2017，”cited_by_count“：3｝，”年份“：2015，”cited_by_count“：1｝，”年份“：2014，”cited_by_count“：2｝，”年份“：2013，”cited_by_count“：4｝，”年份“：2012，”cited_by_count“：2｝]，”更新日期“：2024-05-24 T02:24:17.177751”，“创建日期”：“2016-06-24”｝