{“id”：“https://openalex.org/W2025502180“，”doi“：”https://doi.org/10.1305/ndjfl/1093636613“，”title“：“可变现性下的可分拆性。“，”display_name“：”可变现性下的可分拆性。“，”“publication_year”：1986，“publication_date”：“1986-04-01”，“ids”：{“openalex”：“https://openalex.org/W2025502180“，”doi“：”https://doi.org/10.1305/ndjfl/1093636613“，”mag“：”2025502180“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093636613，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-2/Subountability-under-realizability/10.1305/ndjfl/10936613.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“：[”杜克大学“，”杜克大学出版社“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”bronze“，”oa_url“：”https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-2/Subountability-under-realizability/10.1305/ndjfl/10936613.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5074481154“，”display_name“：”Charles McCarty“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_corresponding“：true，”raw_author_name“：”Charles McCarty“，”raw_affiation_strings“：[]，”affiliations“：[]｝]，”institution_assertions“：[]，”countries_distict_count“：0，”institutions_disict_count“：0，”corresponding_author_ids“：[”https://openalex.org/A5074481154“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：nully，”fwci“：0.496，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：8，”citation_normalized_percentile“：{”value“：0.793776，”is_in_top_1_percent“：false，”is.in_top_10_percennt“：false}，”citted_by_percentile_year“：{”min“：77，”max“：78}，“biblio”：{“volume”：“27”，“issue”：“2”，“first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9093，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9093，”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/realizability网站“，”display_name“：”Realizability“，”score“：0.83624625}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.473894}]，”concepts“：[{”id“：”https://openalex.org/C2776378722，“wikidata”：https://www.wikidata.org/wiki/Q3454417“，”display_name“：”Realizability“，”level“：2，”score“：0.83624625}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.43650687}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.41760173}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.40026325}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.241202｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0726448}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093636613，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-2/Subountability-under-realizability/10.1305/ndjfl/10936613.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/1093636613，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-2/Subountability-under-realizability/10.1305/ndjfl/10936613.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“：[{”display_name“：”减少不平等“，”分数“：0.44，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：4，”referrenced_works“：]”https://openalex.org/W115176759","https://openalex.org/W1481385900","https://openalex.org/W168998676","https://openalex.org/W2226081501“]，”related_works“：[”https://openalex.org/W4298120007","https://openalex.org/W3173554384","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2321910655","https://openalex.org/W2136737082","https://openalex.org/W2051968535","https://openalex.org/W1857750633","https://openalex.org/W1603488308","https://openalex.org/W1517224694“]，”abstract_inverted_index“：{“中间”：[0]，”the“：[1,5,18,28,45,55,73,89110113128154165174241260]，”open“：[2]，”problems“：[3,49]，”in“：[4,132052253]，”metamatherics“：[6]，”of“：[7,17,20,57,76,83112116122143156215217235250]，”constructivity“：[8]，”categated“：[9]，”by“：[10151220259]，”Michael“：[11]，“比森”：[12221]，“[2]”：[14]，“是“：[15]，”那些“：[16]，”一致性“：[19]，”IZF“：[21192]，”with“：[22,25195246]，“SCDS”：[23,46196201237]，“and”：[24,47170197202238262]，“SCMS。SCDS“：[26]，”is“：[27,34,42,81106118126138193211231240]，”assertion“：[29242]，”that“：[30,38,82,87,96109153186243]，”every“：[31,39244]，”discrete“：[32]，”set“：[33190245]，”subcountable；“：[35]，”SCMS“：[36,48203]，”断言“：[37]，”度量“：[40]，”空格“：[41]，”子计数。解决方案“：[43]，“to”：[44,53,64,68177]，“serve”：[50]，“not”：[51119]，“only”：[52160]，“advance”：[54]，“technologies”：[56]，“model”：[58]，“theory”：[59115191]，“for”：[60]，“直觉主义”：[61]，“but”：[C2131]，“alsome”：[63224]，“distinct”：[70]，“insights”：[71]，“into”：[72]，“overall”：[74]，“structure”：[75]建设性的”：[77，91，98114]，“数学。The“：[78]，”first“：[79]，”insight“：[80105]，”Bishop“：[84]，”who“：[85]，”suggested“：[86]，”even“：[88]，”strongest“：[90]，”systems“：[92]，”should“：[93]，”accord“：[94]，”interprelations“：[95]，”disclose“：[97]，”mathematiculatory“：[99158]，”as“：[100124]，”having“：[101]，”\“numerical”：[102]，“meansion\”。“：[103]，”第二“：[104]，”GreenleaPs“：[107]，”直觉“：[108]，”主弹簧“：[111]，”基数“：[117]，”原始“：[120]，”大小“：[121]，”集合“：[123]，”it“：[125]，”on“：[127]，”经典“：[129166]，”帐户“：[130]，”而不是“：[132]，”逻辑“：[133]，”或“：[134]，”数学“：[135]，”结构。“：[136]，”第三“：[137]，”也许“：[139]，”更多“：[140]，”a“：[141206212226232]，”预设“：[142]，”传统“：[144]，”直觉主义“：[145]，”比“：[146]，”安“：[147]，”洞察力。它“：[148]，”是“：[149256]，”预设“：[150]，”布鲁尔“：[152]，”域“：[155]，”重要“：[157]，”包括“：[159]，”集合“：[161]，”其中“：[162179210230]，”are，“：[163]，”来自“：[164181]，”立场“：[167]，”相对“：[168]，”小“：[169]，”高度“：[171]，”结构化。由“：[172]，“工作”：[173]，“模型理论”：[175]，“方法”：[176]，“可实现性”：[178207218]，“派生”：[180]，“克莱恩的”：[182]，“作品”：[183]，“我们”：[184]，“展示”：[185]，“完整”：[188]，“直觉主义”：[189]，“一致”：[194]，“SCMS。在“：[198]，“事实，”：[199]，“两者”：[200236]，“保持”：[204]，“结构，”：[208]，“V（Kl），”：[209]，“关闭”：[213]，“相对”：[214]，“形式”：[216]，“呈现”：[219]，“[1]。我们“：[223]，”制定“：[225]，”新“：[227]，”原则“：[228]，”SCAS“：[229]，”强“：[233]，”概括“：[234]，”SCMS。SCAS“：[239]，”严格“：[247]，”分隔-*The“：[248]，”风格“：[249]，”推理“：[251]，”利用“：[252]，”此“：[254]，”论文“：[255]，”开发“：[257]，”联合“：[258]，”作者“：[261]，”博士“：[263]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2025502180“，”counts_by_year“：[{”年份“：2022，”cited_by_count“：1}，{”年“：2020，”cited_by_count”：1}，{“年份”：2016，”citecd_by_count“：1}]，”updated_date“：”2024-09-14T14:26:07.713092“，”created_dates“：”2016-06-24“}