{“id”：“https://openalex.org/W1992712351“，”doi“：”https://doi.org/10.1305/ndjfl/1093635328“，”title“：”$L（Q^2_{\\aleph_1}）$通过有限多个模式的非对称性。“，”display_name“：”有限多schemata对$L（Q^2_{\\aleph_1}）$的非对称性。“，”“publication_year”：1989，“publication_date”：“1989-12-01”，“ids”：{“openalex”：“https://openalex.org/W1992712351“，”doi“：”https://doi.org/10.1305/ndjfl/1093635328“，”mag“：”1992712351“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093635328，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-31/issue-1/The-nonaxiomatiability-of-LQ2_leph_1-by-finitely-many-schemata/10.1305/ndjfl/1093635328.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame journal of formal logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”host_organization_name“：”杜克大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke University Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“（_U）：”https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-31/issue-1/The-nonaxiomatiability-of-LQ2_leph_1-by-finitely-many-schemata/10.1305/ndjfl/1093635328.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5024923217“，”display_name“：”Saharon Shelah“，”orcid“：”https://orcid.org/0000-0003-0462-3152}，“机构”：[{“id”：https://openalex.org/I126820664“，”display_name“：”Vassar学院“，”ror“：”https://ror.org/022x6qg61“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I126820664“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Saharon Shelah“，”raw _affiliation_strings“：【”希伯来大学数学系“，”Vassar College Jerusale，Israel Poughkeepsie，NY 12601“】，”afliations“：[{”raw _affiliation_string“：”希伯来大学数学系数学系“，”institution_ids“：[]}，{”raw_affiliation_string“：”Vassar College Jerusalem，Israel Poughkeepsie，NY 12601“，”institution_id“：[”https://openalex.org/I126820664“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5056929763“，”display_name“：”Charles Steinhorn“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I126820664“，”display_name“：”瓦萨学院“，”ror“：”https://ror.org/022x6qg61“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I126820664“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Charles Steinhorn“，”raw _affiliation_strings“：【”希伯来大学数学系“，”Vassar College Jerusale，Israel Poughkeepsie，NY 12601“】，”afliations“：[{”raw _affiliation_string“：”希伯来大学数学系数学系“，”institution_ids“：[]}，{”raw_affiliation_string“：”Vassar College Jerusalem，Israel Poughkeepsie，NY 12601“，”institution_id“：[”https://openalex.org/I126820664“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：0.559，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：{”卷“：”31“，”问题“：”1“，”第一页“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9818，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9818，”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/T12536“，”“display_name”：“科学与工程中的拓扑数据分析”，“score”：0.9671，“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/T10304“，”“display_name”：“辛拓扑和结不变量”，“score”：0.938，“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/computability网站“，”display_name“：”Computability“，”score“：0.434231}]，”concepts“：[{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”“display_name”“：”解释（哲学）“，”级别“：2，”分数“：0.67427105}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.53969735}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5373337}，{”id“：”https://openalex.org/C2781424814，“wikidata”：https://www.wikidata.org/wiki/Q15033“，”display_name“：”Aleph“，”level“：2，”score“：0.49817014｝，｛”id“：”https://openalex.org/C162860070，“wikidata”：https://www.wikidata.org/wiki/Q142140“，”display_name“：”有限生成阿贝尔群“，”level“：2，”score“：0.4686358}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.43230352}，{”id“：”https://openalex.org/C153046414，“wikidata”：https://www.wikidata.org/wiki/Q12482“，”display_name“：”集合论“，”level“：3，”score“：0.42826027}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.4251332}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.25689664}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.14009735}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.102516145}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.07274228}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093635328，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-31/issue-1/The-nonaxiomatiability-of-LQ2_leph_1-by-finitely-many-schemata/10.1305/ndjfl/1093635328.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”圣母院形式逻辑期刊“，”issn_l“：”0029-4527“，”issn“：[”0029-4527“，”1939-0726“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”“host_organization_name”：“杜克大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1305/ndjfl/1093635328，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-31/issue-1/The-nonaxiomatiability-of-LQ2_leph_1-by-finitely-many-schemata/10.1305/ndjfl/1093635328.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame journal of formal logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”“host_organization_name”：“杜克大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke University Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”datasets“：〔〕，”versions“：〔】，”referenced_works_count“：1，”https://openalex.org/W2053221524“]，”related_works“：[”https://openalex.org/W4299513432","https://openalex.org/W4298308231","https://openalex.org/W4297435576","https://openalex.org/W4289542023","https://openalex.org/W4254693772","https://openalex.org/W2949107978","https://openalex.org/W2891513033","https://openalex.org/W2744278441","https://openalex.org/W2585291728","https://openalex.org/W2104498739“]，”ngrams_url“：”https://api.openalex.org/works/W1992712351/ngrams网站“，”“abstract_inverted_index”：{“Under”：[0]，”“set-theoretic”：[1132191]，”假设，“：[2,30192]，”它“：[3]，”是“：[4,20,23,53,90101181]，”证明“：[5]，”由“：[6,37,55198]，”Magidor“：[7126]，”和“：[8,41127]，”马利兹“：[9,42128]，”that“：[10,31100176193]，”逻辑“：[11,33]，”with“：[12]，“the”：[13,17,45,77131143149159]，“Magidor-Malitz”：[14]，“量词“：[15214]，”in“：[16,80121142156]，”Ki“：[18]，”-deflection“：[19146]，”递归“：[21]，”公理化。It“：[22]，”shown“：[24187]，”here“：[25188]，”under“：[26130]，”no“：[27]，”additional“：[28190]，”settheoretic“：[29]，”this“：[32177]，”cannot“：[34195]，”be“：[35,75186196]，”axiomatized“：[36197]，”finitely“：[38199]，”many“：[39123200]，”schemata。Magidor“：[40]，“[2]”：[43157]，“引入”：[44]，“^-可变绑定”：[46]，“量词”：[47]，“Q”：[48,57,67,85]，“n”：[49,58,68,86112118]，“。“：[50]，”language“：[51]，”L（Q\”）“：[52141]，”formed“：[54]，”添加“：[56]，”到“：[59173217]，”一阶“：[60]，”谓词“：[61]，”逻辑。对于“：[62]，”an“：[63]，”infinite“：[64]，”基数“：[65]，”K，“：[66]，”X\\X“：[69]，”2“：[70]，”..“：[71]，”.xn“：[72],88]，“\u03c6”：[73,89]，“可能”：[74]，“分配的”：[76]，“所谓的”：[78]，“/c-解释”：[79]，“a”：[811081713771]，“结构”：[82]，“\u0390P\u03af\u03af，”：[83]，“其中”：[84]，“X\\..”：[87]，“满足”：[91]，“如果”：[92]，“那里”：[93]，“存在”：[94]，“anAc”：[95]“for”：[103106140153167]，“\u03c6，”：[104]，“即，”：%105]，“any”：[107]，“u”：[109]，“…”：[110]，“，a”：[111]，“e”：[113]，“A”，“：[114]，“\u03c6（ct\u03b9，…”：[115]，“9”：[116]，“）”：[119]，“保持”：[120]，“9K。其中：[122]，“其他”：[124]，“结果”：[125]，“建立”：[129]，“公理”：[133151210]，“0”：[134]，“Kl”：[135]，“，”：[136]，“完整性”：[138]，“定理”：[139]，“t“：[145]，”（以下简称“：[147]，”L\u03afQ^）。很遗憾，“：[148]，”完整“：[150]，”系统“：[152]，”L（Q\u03baj）“：[154]，“展示”：[155]，“缺乏”：[158]，“简单性”：[160180]，“of”：[161]，“例如，”：[162]，“凯斯勒”：[163]，“集合”：[164]，“公理”：[166]，“L（Q^）”：[168]，“（参见[1]）。这个“：[169]，”论文“：[170]，“续集”：[172]，“[3]，”：174]，“演示”：[175]，“失败”：[178]，““not”：[182]，“without”：[183189]，“reason.It”：[184]，“will”：[185]，“L\u03afQ^）”：[194]，“schemata.Even”：[201]，“更多”：[202]，“强”，：[203]，“我们”：[204]，“证明：”：[205]，“定理”：[206]，“1No”：[207]，“集合”：[208]，“模式”：[211]，“有界”：[213]，“深度”：[215]，“足够”：[216]，“公理化”：[218]，“L（Q^）。”：[219]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1992712351“，”counts_by_year“：[]，”updated_date“：”2024-06-26T22:57:54.218500“，”创建日期“：”2016-06-24“}