{“id”：“https://openalex.org/W2159694780“，”doi“：”https://doi.org/10.2178/jsl/1191333841“，”title“：“通过索引的最终余代数定理建立非良基集的模型”，”display_name“：”通过索引的最后余代数定理形成非良基集合的模型“，”publication_year“：2007，”publitation_date“：”2007-09-01“，”ids“：{”openalex“：”https://openalex.org/W2159694780“，”doi“：”https://doi.org/10.2178/jsl/1191333841“，”mag“：”2159694780“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1191333841“，”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://arxiv.org/pdf/math/0508531“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5040167167“，”display_name“：”Benno van den Berg“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Benno van den Bergh“，”raw _affiliation_strings“：【】，”affiliations“：〔〕}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5004974246“，”display_name“：”Federico De Marchi“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“，”Federic De Marchi”，“raw_affiliation_strings”：[]、“affiliations”：[]}]，“countries_distiction_count”：0，“institutions_distition_count“：0，”corresponding_author_ids“：[】，”correcponding_institution_ids c_list“：null，”apc_payd“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：10，”cited_by_percentile_year“：{”min“：85，”max“：86}，”biblio“：{“volume”：“72”，“issue”：“3”，“first_page”：“767”，“last_page”：”791“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9989，”subfield“：{”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9989，”subfield“：{”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9892，“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/T10287“，”“display_name”：“簇代数和三角范畴”，“score”：0.9839，“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/keywords/triangulated-categories（https://openalex.org/keywords/triangulated-categories）“，”display_name“：”三角分类“，”score“：0.504712}，{”id“：”https://openalex.org/keywords/derived-categories网站“，”display_name“：”派生类别“，”score“：0.500434}]，”concepts“：[{”id“：”https://openalex.org/C2778249326，“wikidata”：https://www.wikidata.org/wiki/Q1777803网址“，”display_name“：”Coalgebra“，”level“：3，”score“：0.94784}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.915364}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6628523}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.6384292}，{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.638351}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.5519339}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.48622766}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（抽象数据类型）“，”level“：2，”score“：0.42321357｝，｛”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.4205587}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”“display_name”“：”“计算机科学”“，”级别“：0，”分数“：0.17508912}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.052456856}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C558565934，“wikidata”：https://www.wikidata.org/wiki/Q2743“，”display_name“：”Musical“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”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}，{”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”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“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1191333841“，”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”：“https://arxiv.org/abs/math/0508531，“pdf_url”：https://arxiv.org/pdf/math/0508531，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：nul，“pdf_url“：”https://arxiv.org/pdf/math/0508531v1.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/math/0508531，“pdf_url”：https://arxiv.org/pdf/math/0508531，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：12，“referrenced_works”：https://openalex.org/W1983905931","https://openalex.org/W2007535202","https://openalex.org/W2023599931","https://openalex.org/W2024315465","https://openalex.org/W2032698723","https://openalex.org/W2071463650","https://openalex.org/W2092786729","https://openalex.org/W2137106928","https://openalex.org/W3029451424","https://openalex.org/W4237445768","https://openalex.org/W647407390","https://openalex.org/W89881250“]，”related_works“：[”https://openalex.org/W4297912016","https://openalex.org/W2963741069","https://openalex.org/W2951192905","https://openalex.org/W2303187054","https://openalex.org/W2159694780","https://openalex.org/W2104717233","https://openalex.org/W2102919649","https://openalex.org/W2093450770","https://openalex.org/W2071463650","https://openalex.org/W1982005844“]，”ngrams_url“：”https://api.openalex.org/works/W2159694780/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“The”：[1]，“paper”：[2]，“uses”：[3]，“The”：[4,11,45,49,53,79,83]，“formalism”：[5]，“of”：[6,13,22,29,40,55,62,85]，“indexed”：[7]，“categories”：[8]，“to”：[9,69]，“recover”：[10]，“proof”：[12]，“a”：[14,26,56,60]，“standard”：[15]，“final”：[16,23,46]，“余代数”：[17,47]，“定理”：[18]，“因此”：[19]，“showing”：[20]，“存在“：[21]，”余代数“：[24]，”for“：[25,48,72,82]，”special“：[27]，”class“：[28,61,84]，”functors“：[30]，”on“：[31,78]，”finitely“：[32]，”complete“：[33]，”and“：[34]，”cocomplete“:[35]，”categories。“：[36]，”As“：[37]，”an“：[38]，”instance“：[39]，”this“：[41]，”result“，：[42]，”we“：%43]，”build“：[44]，”powerclass“：[50]，”functor“：[51]，”in“：[52]，”context“：[54]，”Heyting“：[57]，”pretopos“：[58]，”with“：59]，”small“：[63,86]，”maps。“：[64,87]，”“This”“：[65]，”是“：[66]，”然后“：[67]，”证明“：[68]，”提供“：[70]，”模型“：[71]，”各种“：[73]，”非基础“：[74]，”集合“：[75]，”理论“：[76]，”依赖“：[77]，”选择“：[80]，”公理化“：[81]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=引用：W2159694780“，”counts_by_year“：[{”年“：2022，”cited_by_count“：1}，{”年份“：2019，”cited_by_count”：1}，{“年份”：2014，”citecd_by_count“:1}，”{“年”：2013，”citted_by_count“：1}]，”updated_date“：”2024-06-19T15:09:08.728110“，”created_dates“：”2016-06-24“}”