{"id":"https://openalex.org/W1563368095","doi":"https://doi.org/10.2307/2272319","title":"A remark on Scott's interpolation theorem for L\u03c91\u03c9","display_name":"A remark on Scott's interpolation theorem for L\u03c91\u03c9","publication_year":1977,"publication_date":"1977-03-01","ids":{"openalex":"https://openalex.org/W1563368095","doi":"https://doi.org/10.2307/2272319","mag":"1563368095"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272319","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059264200","display_name":"Nobuyoshi Motohashi","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nobuyoshi Motohashi","raw_affiliation_string":"","raw_affiliation_strings":[]}],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5059264200"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":0,"cited_by_percentile_year":{"min":0,"max":62},"biblio":{"volume":"42","issue":"1","first_page":"63","last_page":"63"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Fuzzy Logic and Residuated Lattices","score":0.9984,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Fuzzy Logic and Residuated Lattices","score":0.9984,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic Programming and Knowledge Representation","score":0.9934,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"Automata Theory and Formal Languages","score":0.9908,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"keyword":"interpolation","score":0.4398},{"keyword":"scott","score":0.3039}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.76113904},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.6416893},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.54521877},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.51944894},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.47477055},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.37887105},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.08407357},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272319","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"referenced_works_count":2,"referenced_works":["https://openalex.org/W1979291990","https://openalex.org/W2046817379"],"related_works":["https://openalex.org/W2088461731","https://openalex.org/W4206367340","https://openalex.org/W1553466895","https://openalex.org/W1971174658","https://openalex.org/W2099195351","https://openalex.org/W1606946808","https://openalex.org/W4256429076","https://openalex.org/W2950866767","https://openalex.org/W26693340","https://openalex.org/W2541640833"],"ngrams_url":"https://api.openalex.org/works/W1563368095/ngrams","abstract_inverted_index":{"In":[0,19],"[1],":[1],"H.":[2],"Africk":[3],"proved":[4],"that":[5,25,107,183,227],"Scott's":[6,42],"interpolation":[7,29,43,210],"theorem":[8,30,44,202,211],"does":[9],"not":[10],"hold":[11],"in":[12,31,45,53,62,79,116,159,186,194,212],"the":[13,60,74,86,90,133,200,209],"infinitary":[14],"logic":[15],"L":[16,32,46,117],"\u03c91\u03c9":[17,33,47,118],".":[18,245],"this":[20],"paper":[21],"we":[22,198],"shall":[23],"show":[24],"there":[26],"is":[27,73,119,127,188,204,222],"an":[28,39,123,189,205,223],"which":[34,203],"can":[35],"be":[36,122,219],"considered":[37],"as":[38],"extension":[40],"of":[41,76,88,132,208],"by":[48,163],"using":[49],"a":[50,114],"technique":[51],"developed":[52],"Motohashi":[54],"[2]":[55],"and":[56,152,178,217,229,235,239],"[3].":[57],"We":[58],"use":[59],"terminology":[61],"[1].":[63],"Therefore":[64],"{":[65,98],"R":[66,135],"i":[67,69,136,149],";":[68,101],"\u2208":[70,148,150],"J":[71,104,111],"}":[72],"set":[75,87],"predicate":[77],"symbols":[78],"our":[80,195],"language.":[81],"Now":[82],"let":[83],"us":[84],"divide":[85],"all":[89],"free":[91],"variables":[92],"into":[93],"mutually":[94],"disjoint":[95],"infinite":[96],"sets":[97],"V":[99,160],"I":[100,102,147,151],"\u2286":[103,109],"}.":[105],"Suppose":[106],"\u2131":[108],"(":[110,137],").":[112],"Then":[113,197],"formula":[115,131],"said":[120],"to":[121],"\u2131\u2032-formula":[124],"if":[125],"it":[126],"obtained":[128],"from":[129],"atomic":[130],"form":[134],"X":[138,142,153,157],"1":[139,154,161],",":[140,155],"\u2026,":[141,156],"n":[143,158],")":[144],"for":[145],"some":[146],",,":[162],"applying":[164],"\u00ac":[165],"(negation),":[166],"\u2227":[167],"(countable":[168,171],"conjunction),":[169],"\u2228":[170],"disjunction),":[172],"\u2192":[173],"(implication),":[174],"\u2200":[175],"(universal":[176],"quantification),":[177],"\u2203":[179],"(existential":[180],"quantification).":[181],"Notice":[182],"every":[184],"\u2131-sentence":[185],"[1]":[187],"\u2131\u2032.":[190],"sentence":[191],"(\u2131\u2032-closed":[192],"formula)":[193],"sense.":[196],"have":[199],"following":[201],"immediate":[206],"consequence":[207],"[2].":[213],"Theorem.":[214],"Let":[215],"A":[216],"?":[218],"sentences.":[220],"There":[221],"\u2131\u2032-sentence":[224],"C":[225],"such":[226],"A\u2192C":[228],"C\u2192B":[230],"are":[231,236],"provable":[232],"iff":[233],"whenever":[234],"\u2131-isomorphic":[237],"structures":[238],"satisfies":[240,243],"A,":[241],"then":[242],"B":[244]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1563368095","counts_by_year":[],"updated_date":"2024-03-20T11:27:54.471712","created_date":"2016-06-24"}