{“id”：“https://openalex.org/W1974655024“，”doi“：”https://doi.org/10.2178/jsl/1203350778“，”title“：”稳定可定义性和泛型关系“，”display_name“：”稳定性可定义性与泛型关系”，“publication_year”：2007，“publiation_date”：“2007-12-01”，“ids”：{“openalex”：“https://openalex.org/W1974655024“，”doi“：”https://doi.org/10.2178/jsl/1203350778“，”mag“：”1974655024“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1203350778“，”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”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://www.math.uwaterloo.ca网站/~rmoosa/stabledef26march07.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5070396351“，”display_name“：”Byunghan Kim“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I193775966“，”display_name“：”延世大学“，”ror“：”https://ror.org/01wjejq96“，”country_code“：”KR“，”type“：“教育”，”世系“：[”https://openalex.org/I193775966“]}]，”国家“：[”KR“]，”is_corresponding“：false，”raw_author_name“：”Byunghan Kim“，”raw _affiliation_strings“：[“延世大学数学系，134 Shinchon，Seodaemun-Gu Seoul 120-749，Korea.E-mail:bkim@yonsei.ac.kr“]，”affiliations“：[{”raw_affiliation_string“：”延世大学数学系，134 Shinchon-Dong，Seodaemun-Gu Seoul 120-749，Korea.E-mail:bkim@yonsei.ac.kr“，”institution_id“：[”https://openalex.org/I193775966“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5021771542“，”display_name“：”Rahim Moosa“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I151746483“，”display_name“：”滑铁卢大学“，”ror“：”https://ror.org/01aff2v68“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I151746483“]}]，”countries“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Rahim Moosa“，”raw _affiliation_strings“：【”WAterloo大学“】，”affiliations“：[{”raw _affiliation_string“：”Waterluo大学“，”institution_ids“：[“https://openalex.org/I151746483“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：{”卷“：”72“，”问题“：”4“，”第一页“：”1163“，”last_page“：”1176“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11151“，”display_name“：”模型理论与拓扑动力学“，”score“：0.9971，”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.9971，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9728，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9628，“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/keywords/definable-sets网站“，”display_name“：”可定义集合“，”score“：0.511495}]，”concepts“：[{”id“：”https://openalex.org/C42058472，“wikidata”：https://www.wikidata.org/wiki/Q810214“，”display_name“：”Base（topology）“，”level“：2，”score“：0.8072797｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.702011}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.694382}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5259198}，{”id“：”https://openalex.org/C20407403，“wikidata”：https://www.wikidata.org/wiki/Q1152398“，”display_name“：”规范形式“，”level“：2，”score“：0.4923061}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.43584406}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.17200351｝，｛”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.07666534}，{”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/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1203350778“，”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”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.295.4765，“pdf_url”：http://www.math.uwaterloo.ca网站/~rmoosa/stabledef26march07.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.295.4765，“pdf_url”：http://www.math.uwaterloo.ca网站/~rmoosa/stabledef26march07.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”分数：0.63，“id”：“https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：8，”referrenced_works“：【”https://openalex.org/W1425259","https://openalex.org/W1538292722","https://openalex.org/W1996612994","https://openalex.org/W2022230269","https://openalex.org/W2047577730","https://openalex.org/W2050070395","https://openalex.org/W2078011342","https://openalex.org/W234804402“]，”related_works“：[”https://openalex.org/W4300101996","https://openalex.org/W4253593777","https://openalex.org/W3101625811","https://openalex.org/W2951497643","https://openalex.org/W2382521049","https://openalex.org/W2367390169","https://openalex.org/W2338854850","https://openalex.org/W2165950148","https://openalex.org/W2144385241","https://openalex.org/W1585007175“]，”ngrams_url“：”https://api.openalex.org/works/W1974655024/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“An”：[1]，“mergation”：[2,81]，“base”：[3,15,82,88]，“p”：[4,28]，“in”：[5,70]，“a”：[6,51,67,78]，“simple”：[7]，“theory”：[8,53]，“is”：[9,16,42,89]，“stability”：[10,62,79]，“definitable”：[11,80]，“if”：[12]，“its”：[13]，“规范”：[14,22,87]，“可相互定义”：[17]，“with”：[18,54]，“the”：[19,25,86]，“set”：[20]，““：[21,27,50,77]，”参数“：[23]，”对于“：[24,39,74]，”u03d5-definitions“：[26]，”作为“：[29]，”\u03d5“：[30]，”范围“：[31]，”到“：[32]，”全部“：[33]，”稳定“：[34,55,93106]，”公式。“：[35]，”A“：[36,72]，”necessary“：[37]，”condition“：[38]，”definitibility“：[41]，”given“：[43]，”and“：[44,75]，”used“：[45]，”to“：[46,85]，”product“：[47]，”an“：[48]，”example“：[49,76]，”supersimple“：[22]，”forking“：[56]，”having“：57]，”types“：[58]，”that“：[59]，”are“：[60,95]，“not”：[61,90]，“可定义。“：[63]，”这“：[64]，”回答“：[65]，”消极“：[66]，”问题“：[68]，”提出“：[69]，”[8]。“：[71]，”标准“：[73]，”其“：[83]，”限制“：[84]，”公理化“：[91]，”通过“：[92]，”公式“：[94]，”也“：[96]，”给定。“：[97]，”The“：[98]，”examples“：[99]，”involve“：[100]，”generic“：[101]，”relations“：[102]，”over“：[103]，”non“：[104]，”CM-trivial“：[105]，”theorys“。“：[107]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1974655024“，”counts_by_year“：[{”年“：2012，”cited_by_count“：1}]，”更新日期“：”2024-06-20T23:30:11.010374“，”创建日期“：“2016-06-24”}