{“id”:“https://openalex.org/W2086359514“,”doi“:”https://doi.org/10.1305/ndjfl/1093637937“,”title“:“相对插值的统一方法。“,”display_name“:”相对插值的统一方法。“,”“publication_year”:1988,“publication_date”:“1988-06-01”,“ids”:{“openalex”:“https://openalex.org/W2086359514“,”doi“:”https://doi.org/10.1305/ndjfl/1093637937“,”mag“:”2086359514“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1305/ndjfl/1093637937,“pdf_url”:https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-29/issue-3/A-unified-approach-to-relative-interpolation/10.1305/ndjfl/10936937.pdf,“源”:{“id”:https://openalex.org/S78544662“,”“display_name”“:”《圣母院形式逻辑杂志》“,”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-29/issue-3/A-unified-approach-to-relative-interpolation/10.1305/ndjfl/10936937.pdf“,”any_repository_has_fulltext“:false},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5055707429“,”display_name“:”Dennis Duchhart“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I1318003438“,”display_name“:”RELX Group(荷兰)“,”ror“:”https://ror.org/02scfj030“,”country_code“:”NL“,”type“:”company“,”沿袭“:[”https://openalex.org/I1318003438","https://openalex.org/I4210160603“]},{”id“:”https://openalex.org/I887064364“,”display_name“:”阿姆斯特丹大学“,”ror“:”https://ror.org/04dkp9463“,”country_code“:”NL“,”type“:“教育”,”世系“:[”https://openalex.org/I887064364“]}],”国家“:[”NL“],”is_corresponding“:true,”raw_author_name“:”Dennis Duchhart“,”raw _affiliation_strings“:[“荷兰阿姆斯特丹爱思唯尔科学出版社”,“荷兰阿姆斯特丹数学研究所大学”],”affiliations“:[{”raw _affiliation_string“:”荷兰阿姆斯特朗爱思唯尔科学出版社“,”机构ID“:[”https://openalex.org/I1318003438“]},{”raw_affiliation_string“:”荷兰阿姆斯特丹阿姆斯特丹大学数学学院“,”institution_ids“:[”https://openalex.org/I887064364“]}]}],”countries_disticont_count“:1,”institutions_disticent_count”:2,”corresponding_author_ids“:[”https://openalex.org/A5055707429“],”对应的机构ID“:[”https://openalex.org/I1318003438","https://openalex.org/I887064364“],”apc_list“:null,”apc _ paid“:null,”fwci“:null,”has_fulltext“:true,”fulltext_origin“:”pdf“,”cited_by_count“:0,”cited_by_percentile_year“:{”min“:0”max“:57},”biblio“:{“volume”:“29”,“issue”:“3”,“first_page”:null、“last_page”:null},“is_retracted”:false,“is_paratext”:false,“primary_topic”:{“id”:“https://openalex.org/T11245“,”“display_name”:“计算工程中的等几何分析”,“score”:0.1521,“subfield”:{“id”:“https://openalex.org/subfields/2206“,”display_name“:”计算力学“},”字段“:{”id“:”https://openalex.org/fields/22“,”display_name“:”Engineering“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T11245“,”“display_name”:“计算工程中的等几何分析”,“score”:0.1521,“subfield”:{“id”:“https://openalex.org/subfields/2206“,”display_name“:”计算力学“},”字段“:{”id“:”https://openalex.org/fields/22“,”display_name“:”Engineering“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/shape-optimization网站“,”display_name“:”形状优化“,”score“:0.452345}],”concepts“:[{”id“:”https://openalex.org/C137800194,“wikidata”:https://www.wikidata.org/wiki/Q11713455“,”display_name“:”插值(计算机图形)“,”level“:3,”score“:0.5455101},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.45863923},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.42972383},{”id“:”https://openalex.org/C2777686260,“wikidata”:https://www.wikidata.org/wiki/Q144037“,”display_name“:”微积分(牙科)“,”level“:2,”score“:0.39856005},{”id“:”https://openalex.org/C28826006,“wikidata”:https://www.wikidata.org/wiki/Q33521“,”display_name“:”应用数学“,”level“:1,”score“:0.32896107},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.18544334},{”id“:”https://openalex.org/C71924100,“wikidata”:https://www.wikidata.org/wiki/Q11190“,”display_name“:”Medicine“,”level“:0,”score“:0.054124653},{”id“:”https://openalex.org/C104114177,“wikidata”:https://www.wikidata.org/wiki/Q79782“,”display_name“:”运动(物理)“,”级别“:2,”分数“:0.0},{”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/1093637937,“pdf_url”:https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-29/issue-3/A-unified-approach-to-relative-interpolation/10.1305/ndjfl/10936937.pdf,“源”:{“id”:https://openalex.org/S78544662“,”“display_name”“:”《圣母院形式逻辑杂志》“,”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/1093637937,“pdf_url”:https://project欧几里得.org/journals/notre-dame-jjournal-of-formal-logic/volume-29/issue-3/A-unified-approach-to-relative-interpolation/10.1305/ndjfl/109363797.pdf,“源”:{“id”:https://openalex.org/S78544662“,”“display_name”“:”《圣母院形式逻辑杂志》“,”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“:[{”score“:0.41,”display_name“:”减少不平等“,”id“:”https://metadata.un.org/sdg/10“}],”grants“:[],”datasets“:[],”versions“:[】,”referenced_works_count“:4,”referrenced_works“:【”https://openalex.org/W2022263458","https://openalex.org/W2114633883","https://openalex.org/W226927349","https://openalex.org/W40029885“],”related_works“:[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2911598644","https://openalex.org/W2748952813","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694“],”ngrams_url“:”https://api.openalex.org/works/W2086359514/ngrams(英文)“,”“abstract_inverted_index”:{“In”:[0],“general”:[1],“languages”:[2,50,70],“L”:[3,13,2919140156234246255],“u03ba\u03bb”:[4,78247],“do”:[5,52],“not”:[P,53],“have”:[7,56],“the”:[8,5712218419323936437384],“interpolation”:[9,23216],“property”:[10126189195240],“that,”“:[11],”代表“:[12,28,36,41,69108139242271305349372379],”\u03c9\u03c9“:[14,30],”,“:[15],”was“:[16,60],”proved“:[17315],”by“:[18,63],”Craig“:[19],”([3])。在“:[20],”this“:[21,88170356],”moment“:[22],”is“:[24250],”known“:[25],”to“:[26,55,941181291711982052373636837636383383],”hold“:[27],”,L“:[31300342],“\u03c9i\u03c 9”:[32],”([10];“:[33],”see“:[34],”[12]“:[35],”a“:[37,852252603183263335],“组合”:[38261],“证明)”:[39],“和”:[40,76133144165177202292375388],“可数”:[42],“允许”:[43],“片段”:[44],“of”:[45,87,981151241311862142452633234339386],“L^”:[46],“(参见”:[47190196],“[1])。其他”:[48],“无限”:[49],“just”:[51],“seeme”:[54],“property”:[58],“as”:[59],“partial”:[61],“show”:[62354],“Malitz”:[64],“13]),“:[65],”谁“:[66],”给出“:[67],”反例“:[68],”h“:[71,77178],”\u03ba\u03c9“:[72],“with”:[73,79103127146309],“\u03ba>”:[74],“\ u03c9\\”,“:[75],“K”:[80102256269308],“^”:【81】,“\ u 03bb”:[22],“>”:【83】,“\u 03c9.作为”:[84],“结果”:【86201】,“情况”:【89】,“注意”:【90382】,“has”:【91】,“been”:【92】,“paid”:[93],“更多”:[95],“限制”:[96],“形式”:[97],“插值。对于”:[99],“强”:[100306],“极限”:[101307],“cf”:[104],“(K)”:[105],“=”:[106275311],“\u03c9,”:[107276312],“实例”,“:[109],”卡普“:[110],”([11])“:[111],”证明“:[112],”安“:[113154220251],”扩展“:[114],”克雷格“:[116],”定理“:[117],”u03ba\u03ba“:[120141157],”使用“:[121183290329],”概念“:[123],“一致性”:[125188],“尊重”:[128],“\u03c9-chains”:[130],“结构”:[132],“\u03c9-可满足性”:[134],“(引入了“:[135],”in“:[136224254],”[10])。即“:[137],”is,“:[138],”-spections“:[142248],”\u03c 6“:[143149174],”\ u03c8“:[145151],”\\=“:[147],”\f03c9“:[148173179283299],”->“:[1501167],”there“:[152218249],”exists“:219],“插值”:[155221252],“-句”:[158],“\u03b8”:[159164176],“这样”:[160],“that”:[161213241355],“\\=\u03c6”:[162],“-\u2022”:[163175181],“1=0”:[166],“\u03c.8.Cunningham”:[168],“improved”:[169],“t=”:[172],“0”:%180],“i/s”:[182],“concept”:[185],“chain”:[187],“[4])。Ferro”:[191],“introduced”:[192],“seq-consistency”“:[194],”[7])“:[197],”证明“:[199],”坎宁安“:[200],”扩展“:[203],”it“:[204],”二阶“:[206],“逻辑。This”:[207],“paper”:[208324],“concentrates”:[209],“on”:[210],“another”:[211],“approach:”:[212],“relative”:[215],“(即:[217],“句子,”:[222],“but”:223],“stronger”:[226337],”language)。Dickmann“:[227],”([5])“:[228],”uses“:[229],”lntQrp(L):[230],“\u03ba”:[231235281297301303],“\ u03c7”:[232],“9”:[233],“'\u03c7')”:[236],“表示”:[238],“每一个”:[243],“对”:[244],“句子”:[253],“y.Malitz”:[257],“([13])”:[258],“大纲”:[259],“证明”:[262357],“Interp(L”:[2264280296340],“KW”:[265],“,L(”:[266284],“2”:[267285],“<*)+”:[268],“)”:[2700304345348],“正则”:[272350],“K.For”:[273],“cf(\u03ba)”:[274310],“Friedman”:[277],“([8])”:[278],“证明”:[279295],“+”:[282298302346],“<\u00ab)+”:[286],“/(”:[287],“).Chang”:[288],“([2])”,“:[289],“special”:[291],“\u03c9i-saturated”:[293],“models,”:[294],“which”:[313],man的“:[322],”result.This“:323],”contains“:325],”direct“:327],”proof“,”[328],”only“:[330],“基本”:[331],“模型理论”:[322],“概念”,“:[333],“有点”:[33.6],“版本”:[388],“/f\u03c9”:[341],”(2“:[343],”<\u00ab“:[34.4],”AC“:[37],”K.It“:[351],,“获取”:[363],“*I”:[365],“am”:[36.6],“负债”:[377],“H.”:[399],“C.”:[370],“Doets”:[37.1]:[374],“裁判”:[378],“绘图”:[380],“我的”:[381],“工作”:[38.5],“费罗”:[367],“坎宁安”:[399]},“引用_by_api_url”:“https://api.openalex.org/works?filter=cites:W2086359514“,”counts_by_year“:[],”updated_date“:”2024-06-24T03:39:01.247213“,”创建日期“:”2016-06-24“}