乐胖代购免代理版

{"id":"https://openalex.org/W3092294452","doi":"https://doi.org/10.1017/jsl.2020.40","title":"CLASSES OF BARREN EXTENSIONS","display_name":"CLASSES OF BARREN EXTENSIONS","publication_year":2020,"publication_date":"2020-10-05","ids":{"openalex":"https://openalex.org/W3092294452","doi":"https://doi.org/10.1017/jsl.2020.40","mag":"3092294452"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/jsl.2020.40","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_indexed_in_scopus":true,"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":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://arxiv.org/pdf/1911.06936","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071491299","display_name":"Natasha Dobrinen","orcid":null},"institutions":[{"id":"https://openalex.org/I131651094","display_name":"University of Denver","ror":"https://ror.org/04w7skc03","country_code":"US","type":"funder","lineage":["https://openalex.org/I131651094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"NATASHA DOBRINEN","raw_affiliation_strings":["DEPARTMENT OF MATHEMATICS UNIVERSITY OF DENVER C.M. KNUDSON HALL ROOM 300-2390 S. YORK STREET DENVER, CO80208, USAE-mail:"],"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF MATHEMATICS UNIVERSITY OF DENVER C.M. KNUDSON HALL ROOM 300-2390 S. YORK STREET DENVER, CO80208, USAE-mail:","institution_ids":["https://openalex.org/I131651094"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086267850","display_name":"Dan Hathaway","orcid":null},"institutions":[{"id":"https://openalex.org/I111236770","display_name":"University of Vermont","ror":"https://ror.org/0155zta11","country_code":"US","type":"funder","lineage":["https://openalex.org/I111236770"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"DAN HATHAWAY","raw_affiliation_strings":["DEPARTMENT OF MATHEMATICS UNIVERSITY OF VERMONT INNOVATION HALL 82 UNIVERSITY PLACE BURLINGTON, VT05405, USAE-mail:"],"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF MATHEMATICS UNIVERSITY OF VERMONT INNOVATION HALL 82 UNIVERSITY PLACE BURLINGTON, VT05405, USAE-mail:","institution_ids":["https://openalex.org/I111236770"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.788,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":3,"citation_normalized_percentile":{"value":0.653746,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":73,"max":76},"biblio":{"volume":"86","issue":"1","first_page":"178","last_page":"209"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9999,"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.9999,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9958,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9863,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/ultrafilter","display_name":"Ultrafilter","score":0.82901883},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.64301366}],"concepts":[{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.863765},{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.82901883},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.68171334},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.66542095},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.64301366},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.59953344},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.59451634},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5682256},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35373795},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.22295642},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.07577145},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.061326504},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/jsl.2020.40","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_indexed_in_scopus":true,"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},{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1911.06936","pdf_url":"http://arxiv.org/pdf/1911.06936","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.1911.06936","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1911.06936","pdf_url":"http://arxiv.org/pdf/1911.06936","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":["https://openalex.org/W2984501037","https://openalex.org/W3092294452"],"referenced_works_count":47,"referenced_works":["https://openalex.org/W1768265633","https://openalex.org/W1820141425","https://openalex.org/W1966654800","https://openalex.org/W1977280732","https://openalex.org/W1979556904","https://openalex.org/W1989872203","https://openalex.org/W2001150439","https://openalex.org/W2026216307","https://openalex.org/W2038308063","https://openalex.org/W2038734040","https://openalex.org/W2041290640","https://openalex.org/W2052813936","https://openalex.org/W2057466172","https://openalex.org/W2060319527","https://openalex.org/W2063453390","https://openalex.org/W2073113995","https://openalex.org/W2073452862","https://openalex.org/W2082065673","https://openalex.org/W2126859990","https://openalex.org/W2130670935","https://openalex.org/W2300661606","https://openalex.org/W2484259929","https://openalex.org/W2586974375","https://openalex.org/W2594228161","https://openalex.org/W2595363082","https://openalex.org/W2774075737","https://openalex.org/W2962793687","https://openalex.org/W2963050066","https://openalex.org/W2964045121","https://openalex.org/W2964069292","https://openalex.org/W2964220174","https://openalex.org/W2983889864","https://openalex.org/W2991404109","https://openalex.org/W3109206577","https://openalex.org/W38810708","https://openalex.org/W4205815734","https://openalex.org/W4206245848","https://openalex.org/W4211074246","https://openalex.org/W4231440603","https://openalex.org/W4233104632","https://openalex.org/W4233599082","https://openalex.org/W4245864156","https://openalex.org/W4253715132","https://openalex.org/W4256360806","https://openalex.org/W4288021261","https://openalex.org/W568265359","https://openalex.org/W61640268"],"related_works":["https://openalex.org/W4385781459","https://openalex.org/W4302805234","https://openalex.org/W4301170370","https://openalex.org/W4287393965","https://openalex.org/W4234572961","https://openalex.org/W4229915804","https://openalex.org/W4220938928","https://openalex.org/W3121043012","https://openalex.org/W2401980960","https://openalex.org/W1835351664"],"abstract_inverted_index":{"Abstract":[0],"Henle,":[1],"Mathias,":[2],"and":[3,140,142,153],"Woodin":[4],"proved":[5,51],"in":[6,17],"[21]":[7],"that,":[8],"provided":[9],"that":[10,52,107],"${\\omega":[11],"}{\\rightarrow":[12],"}({\\omega":[13],"})^{{\\omega":[14],"}}$":[15,167],"holds":[16],"a":[18,42,65,74,128,145],"model":[19,66,83],"M":[20,31,84],"of":[21,36,80,90,95,110,130,133,138,147,158],"ZF,":[22],"then":[23],"forcing":[24,62,174],"with":[25,77],"$([{\\omega":[26],"}]^{{\\omega":[27],"}},{\\subseteq":[28],"}^*)$":[29],"over":[30],"adds":[32],"no":[33],"new":[34],"sets":[35],"ordinals,":[37],"thus":[38,63],"earning":[39],"the":[40,81,88,93,120,156],"name":[41],"\u201cbarren\u201d":[43],"extension.":[44],"Moreover,":[45],"under":[46],"an":[47],"additional":[48],"assumption,":[49],"they":[50],"this":[53,103],"generic":[54],"extension":[55],"preserves":[56],"all":[57],"strong":[58],"partition":[59],"cardinals.":[60],"This":[61,86],"produces":[64],"$M[\\mathcal":[67],"{U}]$":[68],",":[69,168,173],"where":[70],"$\\mathcal":[71,96,161],"{U}$":[72,97],"is":[73,98],"Ramsey":[75],"ultrafilter,":[76],"many":[78],"properties":[79],"original":[82],".":[85],"begged":[87],"question":[89],"how":[91],"important":[92],"Ramseyness":[94],"for":[99],"these":[100],"results.":[101],"In":[102],"paper,":[104],"we":[105],"show":[106],"several":[108],"classes":[109],"$\\sigma":[111],"$":[112],"-closed":[113],"forcings":[114],"which":[115],"generate":[116],"non-Ramsey":[117],"ultrafilters":[118,124,148],"have":[119],"same":[121],"properties.":[122],"Such":[123],"include":[125],"Milliken\u2013Taylor":[126],"ultrafilters,":[127],"class":[129,146,157],"rapid":[131],"p-points":[132,137],"Laflamme,":[134],"k":[135],"-arrow":[136],"Baumgartner":[139],"Taylor,":[141],"extensions":[143],"to":[144],"constructed":[149],"by":[150],"Dobrinen,":[151],"Mijares,":[152],"Trujillo.":[154],"Furthermore,":[155],"Boolean":[159],"algebras":[160],"{P}({\\omega":[162],"}^{{\\alpha":[163],"}})/{\\mathrm":[164],"{Fin}}^{\\otimes":[165],"{\\alpha":[166,170],"$2\\le":[169],"}<{\\omega":[171],"}_1$":[172],"non-p-points":[175],"also":[176],"produce":[177],"barren":[178],"extensions.":[179]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3092294452","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-03-22T15:55:51.391377","created_date":"2020-10-15"}