乐胖代购免代理版

{"id":"https://openalex.org/W3172144587","doi":"https://doi.org/10.1017/jsl.2021.45","title":"WEAK CANONICAL BASES IN NSOP THEORIES","display_name":"WEAK CANONICAL BASES IN NSOP THEORIES","publication_year":2021,"publication_date":"2021-06-11","ids":{"openalex":"https://openalex.org/W3172144587","doi":"https://doi.org/10.1017/jsl.2021.45","mag":"3172144587"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/jsl.2021.45","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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,"license_id":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/A5070396351","display_name":"Byunghan Kim","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"BYUNGHAN KIM","raw_affiliation_strings":["Department of Mathematics"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics","institution_ids":[]}]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5070396351"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.147,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.624262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":76,"max":78},"biblio":{"volume":"86","issue":"3","first_page":"1259","last_page":"1281"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.998,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9947,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/base","display_name":"Base (topology)","score":0.5925453},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.44397566},{"id":"https://openalex.org/keywords/collinearity","display_name":"Collinearity","score":0.44009677}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7448554},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6911689},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5925453},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.5827181},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.44397566},{"id":"https://openalex.org/C106192678","wikidata":"https://www.wikidata.org/wiki/Q1419761","display_name":"Collinearity","level":2,"score":0.44009677},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.41434866},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.120744646},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.104376614},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.08716065},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/jsl.2021.45","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":10,"referenced_works":["https://openalex.org/W1026721552","https://openalex.org/W1966465570","https://openalex.org/W2013748860","https://openalex.org/W2021341336","https://openalex.org/W2045117194","https://openalex.org/W2047577730","https://openalex.org/W2114291577","https://openalex.org/W2720779990","https://openalex.org/W3001155019","https://openalex.org/W3119038056"],"related_works":["https://openalex.org/W899482457","https://openalex.org/W4256302823","https://openalex.org/W4243577336","https://openalex.org/W2780470553","https://openalex.org/W2774343100","https://openalex.org/W2184239527","https://openalex.org/W2144385241","https://openalex.org/W2083044841","https://openalex.org/W2038245870","https://openalex.org/W1978042415"],"abstract_inverted_index":{"Abstract":[0],"We":[1,115],"study":[2],"the":[3,30,37,57,90,102,124,133,142,145,200],"notion":[4],"of":[5,34,42,62,64,94,113,120,128,137,144,149,181,202],"weak":[6,31,91,125,134,146,178,213],"canonical":[7,32,92,126,135,147,179,214],"bases":[8,148,180],"in":[9,23,87,161,192,230],"an":[10,65,208],"NSOP":[11,234],"$_{1}$":[12],"theory":[13],"T":[14,217],"with":[15],"existence.":[16],"Given":[17],"$p(x)=\\operatorname":[18],"{tp}(c/B)$":[19],"where":[20],"$B=\\operatorname":[21],"{acl}(B)$":[22],"${\\mathcal":[24],"M}^{\\operatorname":[25],"{eq}}\\models":[26],"T^{\\operatorname":[27],"{eq}}$":[28],",":[29,89,100,110],"base":[33,93,127,136,225],"p":[35,46,88,129,138,162,193],"is":[36,68,97,106,139],"smallest":[38],"algebraically":[39],"closed":[40],"subset":[41],"B":[43,164],"over":[44,163],"which":[45],"does":[47],"not":[48,195],"Kim-fork.":[49],"With":[50],"this":[51],"aim":[52],"we":[53,71,168,172,206],"firstly":[54],"show":[55],"that":[56,73,175],"transitive":[58],"closure":[59],"$\\approx":[60],"$":[61,105],"collinearity":[63],"indiscernible":[66],"sequence":[67,85,112],"type-definable.":[69],"Secondly,":[70],"prove":[72],"given":[74,176],"a":[75,111,118],"total":[76,151,182],"$\\mathop":[77,152,183],"{\\smile":[78,153,184],"\\hskip":[79,154,185],"-0.9em":[80,155,186],"^|":[81,156,187],"\\":[82,157,188],"}^K$":[83,158,189],"-Morley":[84,159,190],"I":[86],"$\\operatorname":[95,98],"{tp}(I/B)$":[96],"{acl}(e)$":[99],"if":[101],"hyperimaginary":[103],"$I/\\approx":[104],"eliminable":[107],"to":[108,199],"e":[109],"imaginaries.":[114],"also":[116],"supply":[117],"couple":[119],"criteria":[121],"for":[122],"when":[123,216],"exists.":[130],"In":[131],"particular":[132],"(if":[140],"exists)":[141],"intersection":[143],"all":[150],"sequences":[160,191],".":[165,237],"However,":[166],"while":[167],"investigate":[169],"some":[170],"examples,":[171],"point":[173],"out":[174],"two":[177],"need":[194],"be":[196,228],"interalgebraic,":[197],"contrary":[198],"case":[201],"simple":[203],"theories.":[204],"Lastly":[205],"suggest":[207],"independence":[209],"relation":[210],"relying":[211],"on":[212,233],"bases,":[215],"has":[218],"those.":[219],"The":[220],"relation,":[221],"satisfying":[222],"transitivity":[223],"and":[224],"monotonicity,":[226],"might":[227],"useful":[229],"further":[231],"studies":[232],"$_1$":[235],"theories":[236]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3172144587","counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2}],"updated_date":"2025-01-09T15:31:11.683189","created_date":"2021-06-22"}