{“id”：“https://openalex.org/W4200256317“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_6“，”title“：”Parametric Church\u2019s论文：“Synthetic Computability Without Choice”，“display_name”：“Parametric Church\ u2019s论文：Synthemic Computlability Withing Choice“，”publication_year“：2021，”publiction_date“：”2021-12-16“，”ids“：{”openalex“：”https://openalex.org/W4200256317“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_6“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”图书系列“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：“绿色”，“oaurl“：”https://arxiv.org/pdf/2112.11781“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5080496189“，”display_name“：”Yannick Forster“，”orcid“：”https://orcid.org/0000-0002-8676-9819}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Yannick Forster“，”raw _ afiliation_strings“：[“Gallinette:vers une nouvelle g \u00e9n \u00e 9ration d'assistant \u00e_0 la preuve”，“萨尔州大学[Saarbr\u00fccken]”]，“afliations”：[{“raw_affiliation_string”：“萨尔大学[Saorbr\u00 fccken]]”，“institution_i ds“：[”https://openalex.org/I91712215“]}，{”raw_affiliation_string“：”Gallinette:vers une nouvelle g\u00e9n\u00e9 ration d'assistant\u00e 0 la preuve“，”institution_ids“：[]}]}]，”countries_distiction_count“：1，”institutions_distinct_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5080496189“]，”对应的机构ID“：[”https://openalex.org/I91712215“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：1.644，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：2，”citected_by_percentile_year“：{”min“：72，”max“：77}，“biblio”：{“volume”：null、“issue”：nul，“first_page”：“70”，“last_page”：“89”}，“is_retracted”：false，“is_paratext”：false，“主主题“：{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性和算法信息理论“，”score“：1.0，”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“：1.0，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9939，”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/T13720“，”display_name“：”Benford定律现象的统计分析“，”score“：0.9926，”subfield“：{”id“：”https://openalex.org/subfields/2613“，”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.589354}，{”id“：”https://openalex.org/keywords/computational深度“，”display_name“：”计算深度“，”score“：0.522203｝]，”concepts“：[｛”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.5974719}，{”id“：”https://openalex.org/C110729354，“wikidata”：https://www.wikidata.org/wiki/Q185478“，”display_name“：”可数集合“，”level“：2，”score“：0.59400237}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.58870995}，{”id“：”https://openalex.org/C152062344，“wikidata”：https://www.wikidata.org/wiki/Q818888“，”display_name“：”Computability“，”level“：2，”score“：0.57002586｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5549866}，{”id“：”https://openalex.org/C151797676，“wikidata”：https://www.wikidata.org/wiki/Q179692“，”display_name“：”选择公理“，”level“：4，”score“：0.4687721}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.45658582}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.2025618}，{”id“：”https://openalex.org/C153046414，“wikidata”：https://www.wikidata.org/wiki/Q12482“，”display_name“：”集合论“，”level“：3，”score“：0.15369931}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.inia.fr/hal-03889493“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2112.11781，“pdf_url”：https://arxiv.org/pdf/2112.11781，“源”：{“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”：false，“landing_page_url”：“https://inria.hal.science/hal-03889493“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.2112.11781“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2112.11781，“pdf_url”：https://arxiv.org/pdf/2112.11781，“源”：{“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“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.61}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W4200256317“]，”referenced_works_count“：22，”referrenced_works“：[”https://openalex.org/W1496947201","https://openalex.org/W1525064220","https://openalex.org/W1590304156","https://openalex.org/W1949275316","https://openalex.org/W2043566933","https://openalex.org/W2047144334","https://openalex.org/W2047764386","https://openalex.org/W2062831973","https://openalex.org/W2066815568","https://openalex.org/W2087443598","https://openalex.org/W2088214355","https://openalex.org/W2088436797","https://openalex.org/W2088735483","https://openalex.org/W2133921140","https://openalex.org/W2291208220","https://openalex.org/W2787206234","https://openalex.org/W2799057409","https://openalex.org/W2895928777","https://openalex.org/W4239310085","https://openalex.org/W4248915083","https://openalex.org/W4299731435","https://openalex.org/W4388284697“]，”related_works“：[”https://openalex.org/W4296151379","https://openalex.org/W4287123853","https://openalex.org/W4214831444","https://openalex.org/W2599560762","https://openalex.org/W2339451782","https://openalex.org/W2055381384","https://openalex.org/W2027586194","https://openalex.org/W2019604532","https://openalex.org/W2015215276","https://openalex.org/W1601745317“]，”ngrams_url“：”https://api.openalex.org/works/W4200256317/ngrams“，”abstract_inverted_index“：{”In“：[0,94]，”synthetic“：[1164173]，”可计算性“：[2]，”先锋“：[3]，”by“：[4,22171]，”Richman“：[5]，”Bridges“：[6]，”and“：[7,49,5920125148205]，”Bauer“：[8]，”one“：[9]，”developers“：[10]，”computability“：[11165]，“theory”：[12106166]，”without“：[13,89]167]，“an”：[14,24149]，“explicit”：[15]，“model”：[16]，““：[17,42,54,65,92112128140175193198207214]”计算。“：[18]，”This“：[19]，”is“：[20]，”enabled“：[21]，”assumpting“：[23146]，”axiom“：[25,45,53]，”equivalent“：[26144]，”to“：[27,32,96132145181]，”postulating“：[2]，”a“：[29,40,90108122]，”function“：[30]，”$\\phi$“：[31153]，”be“：[33133182]，”universal“：[34]，”for“：[35152]，”the“：[36,43,52,63,79126156194202218]，“空格”：[37]，“$\\mathbb{N}\\to\\mathbb{N}$“：[38]，”（$\\mathsf{连续油管}_\\φ$，“：[39]，”结果“：[41]，”建构主义“：[44]，”$\\mathsf{CT}$），“：%46]，”马尔可夫“：[47]，”原则“：[48]，”at“：[50]，”最小“：[51]，”可数“：[55,60115]，”选择。“：[56,93]，”假设“：[57]，”$\\mathsf{CT}$“：[58]，”选择“：[61116]，”无效“：[62]，”定律“：[64127]，”排除“：[66129]，”中间“：[67]，”因此“：[68]，”也“：[69]，”失效“：[70]，”经典“：[71187]，”直觉“：[72188]，”流行“：[73]，”in“：[74103155184217]，”教科书“：[75]，“on”：[76]，“可计算性”。“：[77]，“关于”：[78]，“其他”：[80]，“手”：[81]，“结果”：[82216]，“类似”：[83154]，“莱斯”：[84176208]，“定理”：[85209]，“是”：[86143191]，“不是”：[87118183]，“可证明”：[88]，“形式”：[91197]，“对比”：[95]，“现有”：[97]，“工作”：[98]，“我们”：[99210]，“基础”：[100]，“我们的”：[101]，“调查”：[102]，“建设性”：[104]，“类型”：[105]，“带有”：[107186]，“separate，“：[109]，”imindicative“：[110]，”universe“：[111]，”proposts“：[113]，”where“：[114]，”does“：[117]，”hold“：[119]，”thus“：[121]，”priri“：[123]，”$\\mathsf{连续油管}_{\\phi}$“：[124]，”中间“：[130]，”似乎“：[131180]，”一致。“：[134]，”我们“：[135]，”介绍“：[136]，”各种“：[137]，”参数“：[138]，”加强“：[139]，”$\\mathsf{连续油管}_{\\phi}$，“：[141]，”which“：[142]，”$\\mathsf{连续油管}_\\phi$“：[147]，“$S^m_n$”：[150157]，“运算符”：[151]，“定理。“：[158177]，”The“：[159]，”enhanced“：[160]，”公理“：[161204]，”允许“：[162]，”发展“：[163]，”选择“：[168]，”as“：[169]，”showed“：[170]，”优雅“：[172]，”证明“：[174206213]，”此外，“：[178]，”它们“：[179190]，”冲突“：[185]，”既然“：[189]，”后果“：[192]，”传统“：[195]，”分析“：[196]，“$\\mathsf｛CT｝$。“：[199]，”除“：[200]，”解释“：[201]，”小说“：[203]，”贡献“：[211]，”机器检查“：[212]，”全部“：[215]，”考克“：[219]，”证明“：[220]，”助理。“：[221]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4200256317“，”counts_by_year“：[{”年份“：2024，”cited_by_count“：1}，{”年“：2023，”cited_by_count”：1}]，”更新日期“：“2024-06-19T23:02:40.817724”，”创建日期“：”2021-12-31“}”