{"id":"https://openalex.org/W2057822606","doi":"https://doi.org/10.1305/ndjfl/1093634403","title":"Relative separation theorems for $\\scr L_{\\kappa+\\kappa}$.","display_name":"Relative separation theorems for $\\scr L_{\\kappa+\\kappa}$.","publication_year":1992,"publication_date":"1992-06-01","ids":{"openalex":"https://openalex.org/W2057822606","doi":"https://doi.org/10.1305/ndjfl/1093634403","mag":"2057822606"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093634403","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093634403","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"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/A5063772884","display_name":"Heikki Tuuri","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Heikki Tuuri","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5063772884"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0759,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.76720648,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"33","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12404","display_name":"Mathematical Approximation and Integration","score":0.9129999876022339,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12404","display_name":"Mathematical Approximation and Integration","score":0.9129999876022339,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/kappa","display_name":"Kappa","score":0.8525481820106506},{"id":"https://openalex.org/keywords/separation","display_name":"Separation (statistics)","score":0.5264081358909607},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5054490566253662},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.30809837579727173},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09769931435585022}],"concepts":[{"id":"https://openalex.org/C2778724333","wikidata":"https://www.wikidata.org/wiki/Q14401","display_name":"Kappa","level":2,"score":0.8525481820106506},{"id":"https://openalex.org/C2776061190","wikidata":"https://www.wikidata.org/wiki/Q7451805","display_name":"Separation (statistics)","level":2,"score":0.5264081358909607},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5054490566253662},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.30809837579727173},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09769931435585022}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093634403","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093634403","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093634403","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093634403","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W65053296","https://openalex.org/W94462032","https://openalex.org/W1424096249","https://openalex.org/W1996704548"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W1513518876","https://openalex.org/W4245490552","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2042127053","https://openalex.org/W2142036596"],"abstract_inverted_index":{"Let":[0],"K":[1,127],"be":[2],"regular":[3,134],"and":[4,36,106],"\u03bb":[5,64],"=":[6,128],"\u03ba":[7,41,43],"<\u03ba":[8],".We":[9],"prove":[10,31],"a":[11,15,58,76,82,91,102,133],"strong":[12],"form":[13],"of":[14,49,62,104,115],"separation":[16,68,121],"theorem":[17,69],"for":[18,39,122],"the":[19,25,67,72,113],"language":[20],"\u00a3":[21,40,116,123],"\u03ba+\u03ba":[22,51,80,117,124],",":[23,87,125,131],"where":[24],"separant":[26],"is":[27,55,90],"in":[28,84],"cM\\+x-We":[29],"also":[30],"that":[32,46,74,112],"cM\u03c7+\u03c7":[33],"allows":[34],"Lyndon":[35],"Malitz":[37],"interpolation":[38],"+":[42,97,130],".This":[44],"implies":[45],"every":[47],"sentence":[48,61,77,93],"<\u00a3":[50],"preserved":[52],"under":[53],"submodels":[54],"equivalent":[56,99],"to":[57,100],"determined":[59,92],"universal":[60],"cM":[63],"+\u03bb":[65],"From":[66],"we":[70,108],"obtain":[71],"corollary":[73],"if":[75,126],"\u03c6":[78],"ofcJ\\H":[79],"has":[81],"negation":[83],"<M":[85],"K+K":[86],"then":[88],"there":[89],"\u03c8":[94],"G":[95],"cM\u03c7":[96],"\u03c7":[98],"\u03c6.Using":[101],"result":[103],"Mekler":[105],"Vaananen":[107],"show":[109],"it":[110],"consistent":[111],"\u0394-closure":[114],"does":[118],"not":[119],"allow":[120],"\u03bc":[129,132],"cardinal.":[135]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}