{“id”：“https://openalex.org/W2032357775“，”doi“：”https://doi.org/10.1305/ndjfl/1093636765“，”title“：”${\\rm HA}$的有限Kripke模型在本地是${\\rma PA}$。“，”display_name“：”${\\rm HA}$的有限Kripke模型在本地是${\\rma PA}$。“，”“publication_year”：1986，“publication_date”：“1986-10-01”，“ids”：{“openalex”：“https://openalex.org/W2032357775“，”doi“：”https://doi.org/10.1305/ndjfl/1093636765“，”mag“：”2032357775“}，”language“：”fr“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093636765，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Finite-Kripke-models-of-rm-HA-are-locally-rm-PA/10.1305/ndjfl/1093636765.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}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“（_U）：”https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Finite-Kripke-models-of-rm-HA-are-locally-rm-PA/10.1305/ndjfl/1093636765.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5014169771“，”display_name“：”Elisete Cristina Krabbe“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I193662353“，”display_name“：”乌得勒支大学“，”ror“：”https://ror.org/04pp8hn57“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I193662353“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”E.C.W.Krabbe“，”raw _ afiliation_strings“：[“乌得勒支大学>>>>”]，”从属关系“：[{”raw _affiliation_string“：”乌得勒支大学>>>“，”机构ID“：[https://openalex.org/I193662353“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5102109022“，”display_name“：”Hans Mulder“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I193662353“，”display_name“：”乌得勒支大学“，”ror“：”https://ror.org/04pp8hn57“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I193662353“]｝]，”国家“：[”NL“]，”is_correresponsing“：false，”raw_author_name“：”H.Mulder“，”raw_affiation_strings“：[”乌得勒支大学>>“]，”附属机构“：[｛”raw_affiation_string“：”乌得勒支大学>>“，”机构_ids“：[”https://openalex.org/I193662353“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5056284600“，”display_name“：”Albert Visser“，”orcid“：”https://orcid.org/0000-0001-9452-278X}，“机构”：[{“id”：https://openalex.org/I193662353“，”display_name“：”乌得勒支大学“，”ror“：”https://ror.org/04pp8hn57“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I193662353“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”A.Visser“，”raw _ afiliation_strings“：[“乌得勒支大学>>>>”]，”从属关系“：[{”raw _affiliation_string“：”乌得勒支大学>>>“，”institution_ids“：[https://openalex.org/I193662353“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5080621032“，”display_name“：”Dirk van Dalen“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I193662353“，”display_name“：”乌得勒支大学“，”ror“：”https://ror.org/04pp8hn57“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I193662353“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”D.van Dalen“，”raw _ afiliation_strings“：[“乌得勒支大学>>>”]，”affiliations“：[{”raw _affiliation_string“：”乌得勒支大学>>>>“，”institution_ids“：]”https://openalex.org/I193662353“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：14，“citation_normalized_percentile”：{“value”：0.7617272 7，“is_in_top_1_percent”：假，“is_in_top_10_percent“：false｝，”cited_by_percentle_year“：｛“min”：82，”max“：83｝，”biblio“：｛”volume“：”27“，”issue“：”4“，”first_page“：null，”last_page“：null｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9304，”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.9304，”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/T11151“，”display_name“：”模型理论与拓扑动力学“，”score“：0.9096，”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/synlectic-geometry网站“，”display_name“：”辛几何“，”score“：0.457856}]，”concepts“：[{”id“：”https://openalex.org/C97489613，“wikidata”：https://www.wikidata.org/wiki/Q842755“，”display_name“：”皮亚诺公理“，”level“：2，”score“：0.71932447}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5465611}，{”id“：”https://openalex.org/C15708023，“wikidata”：https://www.wikidata.org/wiki/Q80083“，”display_name“：”人文学科“，”level“：1，”score“：0.42436236}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.3548017}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.30243695}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.19129995}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093636765，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Finite-Kripke-models-of-rm-HA-are-locally-rm-PA/10.1305/ndjfl/1093636765.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大学出版社“]，“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/1093636765，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Finite-Kripke-models-of-rm-HA-are-locally-rm-PA/10.1305/ndjfl/1093636765.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“：2，”https://openalex.org/W162931075","https://openalex.org/W2243154890“]，”related_works“：[”https://openalex.org/W968826431","https://openalex.org/W4390013774","https://openalex.org/W4301007153","https://openalex.org/W3136886172","https://openalex.org/W3042647161","https://openalex.org/W2303556051","https://openalex.org/W2115117868","https://openalex.org/W2085902896","https://openalex.org/W171744056","https://openalex.org/W1577881803“]，”abstract_inverted_index“：{”On“：[0]，”montre“：[1]，”que“：[2]，”les“：[3]，”modeles“：[4,15]，”de“：[5,8,10,16,18]，”Kripke“：[6]，”finis“：[7]，”l'arithmetique“:[9,17]，“Heyting”：[11]，“（HA）”：[12]，“sont”：[13]，“des”：[14]，“Peano”：[19]，“完成”：[20]，“（PA）”：[21]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2032357775“，”counts_by_year“：[{”year“:2020，”cited_by_count“：1}，{”year“：2018，”cited_by_count”：1}，{“year”：2016，”citecd_by_count“：1}]，”updated_date“：”2024-09-14T14:33:25.204439“，”created_dates“：”2016-06-24“}