{“id”：“https://openalex.org/W2125884377“，”doi“：”https://doi.org/10.2178/jsl/1174668396“，”title“：”NF一致性问题的减少“，”display_name“：”减少NF一致问题“，”publication_year“：2007，”publiation_date“：”2007-03-01“，”ids“：{”openalex“：”https://openalex.org/W2125884377“，”doi“：”https://doi.org/10.2178/jsl/1174668396“，”mag“：”2125884377“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668396“，”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”：“”https://www.dpmms.cam.ac.uk/%7Etf/tsouvaras.pdf“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5088689297“，”display_name“：”Athanassios Tzouvaras“，”orcid“：”https://orcid.org/0000-0003-2808-6961“}，”institutions“：[]，”countries“：[]，”is_corresponding“：true，”raw_author_name“：”Athanassios Tzouvaras“，”raw _affiliation_strings“：]，”affiliations“：【】}】，“countries_distinact_count”：0，“institutions_disticant_count“：0，”corresponding_author_ids“：[”https://openalex.org/A5088689297“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：4，”cited_by_percentile_year“：{”min“：79，”max“：80}，”biblio“：{volume”：“72”，“issue”：“1”，”first_page“：”285“，”last_page“：“304”}，“is”_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11151“，”display_name“：”模型理论与拓扑动力学“，”score“：0.989，”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.989，”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/T10061“，”“display_name”：“代数几何与模理论”，“score”：0.9872，“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/T11703“，”“display_name”：“交换环的性质和结构研究”，“score”：0.9778，“subfield”：{“id”：“https://openalex.org/subfields/2602“，”display_name“：”代数与数论“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-theory网站“，”display_name“：”模型理论“，”score“：0.504682}，{”id“：”https://openalex.org/keywords/moduli-theory网站“，”display_name“：”模理论“，”score“：0.502436}]，”concepts“：[{”id“：”https://openalex.org/C2776809875，“wikidata”：https://www.wikidata.org/wiki/Q1375963“，”display_name“：”Converse“，”level“：2，”score“：0.9035193}，{”id“：”https://openalex.org/C118712358，“wikidata”：https://www.wikidata.org/wiki/Q782566“，”display_name“：”自同构“，”level“：2，”score“：0.7628267}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.72966594}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.6761502}，{”id“：”https://openalex.org/C197115733，“wikidata”：https://www.wikidata.org/wiki/Q1003136“，”display_name“：”强制（数学）“，”level“：2，”score“：0.622283015｝，｛”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.5883372}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.55351615}，{”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.546844}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.5126471}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.4584917}，{”id“：”https://openalex.org/C2988750069，“wikidata”：https://www.wikidata.org/wiki/Q60790315“，”display_name“：”自同构群“，”level“：3，”score“：0.43149996}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.36521786}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.17785561}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.1551781}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.06977388}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”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/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“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668396“，”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.693.9989，“pdf_url”：https://www.dpmms.cam.ac.uk/%7Etf/tsouvaras.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.693.9989，“pdf_url”：https://www.dpmms.cam.ac.uk/%7Etf/tsouvaras.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“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：1，“referrenced_works”：https://openalex.org/W4388295869“]，”related_works“：[”https://openalex.org/W4302155387","https://openalex.org/W4289596368","https://openalex.org/W2963257052","https://openalex.org/W2949890955","https://openalex.org/W2949256963","https://openalex.org/W2545189445","https://openalex.org/W2119609861","https://openalex.org/W2115024785","https://openalex.org/W2085781584","https://openalex.org/W1543499813“]，”ngrams_url“：”https://api.openalex.org/works/W2125884377/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“We”：[1]，“give”：[2]，“a”：[3,11,17,43,64,73,78,86]，“necessary”：[4]，“and”：[5,81]，“sufficient”：[6]，“condition”：[7]，“in”：[8,47]，“order”：[9]，“that”：[10,54,71,98]，“type-shifting”：[12,79]，“automorphyption”：[13]，“be”：[14]，“构造”：[15]，“on”：[16]，“模型”：[18,44,50,74,87]，“of”：[19,22,45,52,69,75,88102]，““：[20,48]，”理论“：[21]，”简单“：[23]，”类型“：[24]，”（“：[25]，”TST“：[26,46,76103]，”）“：[27]，”by“：[28]，”强制。“：[29]，”即“：[30]，”it“：[31]，”is“：[32,42,63,95]，”proved“：[33,97]，”that“，”if“：[35]，”for“：[36]，”every“：[37]，”n“：[38,57]，”\u2265“：[39]，”1“：[40]，”there“：[41,62,99]，”ground“：[49]，”M“：[51,67,70,83]，”ZFC“：[53]，“contains”：[55,72,85]，“an”：[56]，“-extendible”：[58]，“coherent”：[59106]，“pair”，“：[60]，“then”：[61]，“generic”：[65]，“extension”：[66]，“[G]“：[68,84]，”with“：[77]，”automorphysion“：[80]，”因此“：[82]，”NF.“：[89]，”The“：[90]，”converse“：[91]，”holds“：[92]，”微不足道。“：[93]，”It“：[94]，”also“：[96]，”exist“：[100]，”models“：[101]，”containing“：[104]，”1-extendible“：[105]，”pairs。“：[107]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2125884377“，”counts_by_year“：[{”年“：2017，”cited_by_count“：2}]，”更新日期“：”2024-06-21T04:05:01.967936“，”创建日期“：“2016-06-24”}