{“id”：“https://openalex.org/W1521225632“，”doi“：”https://doi.org/10.1007/978-3-540-72734-7_25“，”title“：”On the Constructive Dedekind Reals:Extended Abstract“，”display_name“：”On the Construstive Dedeskind Real：Extended抽象“，”publication_year“：2007，”publiation_date“：”2007-06-28“，”ids“：{”openalex“：”https://openalex.org/W1521225632“，”doi“：”https://doi.org/10.1007/978-3-540-72734-7_25“，”mag“：”1521225632“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-72734-7_25“，”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、”is_core“：true、”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}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5027721938“，”display_name“：”Robert S.Lubarsky“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I63772739“，”display_name“：”佛罗里达大西洋大学“，”ror“：”https://ror.org/05p8w6387“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I63772739“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Robert S.Lubarsky“，”raw _ afiliation_strings“：[“佛罗里达大西洋大学数学科学系，#TAB#”]，”affiliations“：[{”raw_ afiliation _string“：”佛罗里达大西洋大学数理科学系，#TAB#“，”institution_ids“：]”https://openalex.org/I63772739“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5011325191“，”display_name“：”Michael Rathjen“，”orcid“：”https://orcid.org/0000-0003-1699-4778}，“机构”：[{“id”：https://openalex.org/I130828816“，”display_name“：”利兹大学“，”ror“：”https://ror.org/024mrxd33“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I130828816“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Michael Rathjen“，”raw _affiliation_strings“：【”利兹大学纯数学系“】，”affiliations“：[{”raw _affiliation_string“：”利兹学院纯数学系。“，”institution_ids“：[“https://openalex.org/I130828816“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.265，“has_fulltext”：false，“cited_b y_count“：1，”引用规范化百分比“：{”value“：0.33658，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：63，”max“：70}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“349”，“last_page”：“362”}、“is_retracted”：false、“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9942，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9942，“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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9923，”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.9907，”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/indivation（https://openalex.org/关键词/指数化）“，”display_name“：”指数“，”score“：0.9083499}，{”id“：”https://openalex.org/keywords/constructional网站“，”display_name“：”Constructive“，”score“：0.74386054}，{”id“：”https://openalex.org/keywords/constructive-proof“，”display_name“：”构造性证明“，”score“：0.5056584}，{”id“：”https://openalex.org/keywords/dedekind-sum网站“，”display_name“：”Dedekind sum“，”score“：0.46957988}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.454978}]，”concepts“：[{”id“：”https://openalex.org/C81539297，“wikidata”：https://www.wikidata.org/wiki/Q33456“，”display_name“：”指数“，”level“：2，”score“：0.9083499}，{”id“：”https://openalex.org/C76449584，“wikidata”：https://www.wikidata.org/wiki/Q851333“，”display_name“：”Dedekind cut“，”level“：2，”score“：0.7839713}，{”id“：”https://openalex.org/C2778701210，“wikidata”：https://www.wikidata.org/wiki/Q28130034“，”display_name“：”Constructive“，”level“：3，”score“：0.74386054}，{”id“：”https://openalex.org/C02854965，“wikidata”：https://www.wikidata.org/wiki/Q3044470“，”display_name“：”构造性证明“，”level“：2，”score“：0.5056584}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.5039496}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.48019087}，{”id“：”https://openalex.org/C183606055，“wikidata”：https://www.wikidata.org/wiki/Q2463775网址“，”display_name“：”Dedekind sum“，”level“：3，”score“：0.46957988}，{”id“：”https://openalex.org/C153046414，“wikidata”：https://www.wikidata.org/wiki/Q12482“，”display_name“：”集合论“，”level“：3，”score“：0.46776053}，{”id“：”https://openalex.org/C151797676，“wikidata”：https://www.wikidata.org/wiki/Q179692“，”display_name“：”选择公理“，”level“：4，”score“：0.45280364}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4305123}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3969883}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.32487577｝，｛”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.22187781}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.049671263}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-72734-7_25“，”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、”is_core“：true、”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：22，“referenced_works“：[”https://openalex.org/W1498439614","https://openalex.org/W1499311226","https://openalex.org/W1528076413","https://openalex.org/W1589408343","https://openalex.org/W19739292","https://openalex.org/W1983705661","https://openalex.org/W2024315465","https://openalex.org/W2033165246","https://openalex.org/W2052161854","https://openalex.org/W2092847400","https://openalex.org/W2151520617","https://openalex.org/W2485511814","https://openalex.org/W2490719060","https://openalex.org/W2501436800","https://openalex.org/W2798718690","https://openalex.org/W2963036596","https://openalex.org/W2963504323","https://openalex.org/W3186546642","https://openalex.org/W3205594860","https://openalex.org/W4241325763","https://openalex.org/W569543113","https://openalex.org/W77027564“]，”related_works“：[”https://openalex.org/W4300952726","https://openalex.org/W4229962254","https://openalex.org/W2951898736","https://openalex.org/W2891743814","https://openalex.org/W2890051578","https://openalex.org/W2229007345","https://openalex.org/W2145724981","https://openalex.org/W2045478096","https://openalex.org/W2027146904","https://openalex.org/W1991980065“]，”abstract_inverted_index“：{”In“：[0,24]，”order“：[1]，”to“：[2,37,47]，”build“：[3]，”the“：[4,16,26,29,56,76,83]，”collection“：[5]，”of“：[6,63]，”Cauchy“：[7,77]，”reals“：[8,31,78,85]，”as“：[9]，”a“：[10,33,60,80,87]，”set“：[11,14,34,65,81]，”In““：[12,74]，”建设性“：[13,64]，”理论“：[15,66]，”仅“：[17]，”权力“：[18]，”套路“：[19]，”原则“：[20]，”所需的“：[21]，”是“：[22,46]，”指数。“：[23]，”对比“：[25]，”证明“：[27]，”that“：[28,49]，”Dedekind“：[30,84]，”form“：[32,79]，”has“：[35]，”seement“：[36]，”require“：[38]，”more“：[3]9]，”theran“：[40]，”theat。“：[41]，”The“：[42]，”main“：[43]，”purpose“：[44]，”here“：%45]，”show“：[48]，”Exponentiation“：[50]，”单独“：[51]，”does“：[52]，”not“：[53]，”enough“：[54]，”for“：[55]，”later“：[57]，”by“：[58,72]，”precing“：[59]，”Kripke“：A/61/，”model“：[62]，”CZF“：[67]，“with”：[68]，“Subset”：[69]，“Collection”：%70]，“replaced”：[71]，“Exponentiation”，“：[73]，”which“：[75]，”while“：[82]，”构成“：[86]，”适当“：[88]，”类别。“：[89]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1521225632“，”counts_by_year“：[]，”updated_date“：”2024-09-19T20:16:46.480147“，”创建日期“：”2016-06-24“}