{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,25]],"date-time":"2024-02-25T05:40:52Z","timestamp":1708839652980},"reference-count":38,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":2146,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[2008,3]]},"abstract":"<jats:p>The purpose of this communication is to present some recent advances on the consequences that forcing axioms and large cardinals have on the combinatorics of singular cardinals. I will introduce a few examples of problems in singular cardinal combinatorics which can be fruitfully attacked using ideas and techniques coming from the theory of forcing axioms and then translate the results so obtained in suitable large cardinals properties.<\/jats:p><jats:p>The first example I will treat is the proof that the proper forcing axiom PFA implies the singular cardinal hypothesis SCH, this will easily lead to a new proof of Solovay's theorem that SCH holds above a strongly compact cardinal. I will also outline how some of the ideas involved in these proofs can be used as means to evaluate the \u201csaturation\u201d properties of models of strong forcing axioms like MM or PFA.<\/jats:p><jats:p>The second example aims to show that the transfer principle (\u2135<jats:sub>\u03c9<\/jats:sub>+1, \u2135<jats:sub>\u03c9<\/jats:sub>) \u21a0 (\u2135<jats:sub>2<\/jats:sub>, \u2135<jats:sub>1<\/jats:sub>) fails assuming Martin's Maximum MM. Also in this case the result can be translated in a large cardinal property, however this requires a familiarity with a rather large fragment of Shelah's pcf-theory.<\/jats:p><jats:p>Only sketchy arguments will be given, the reader is referred to the forthcoming [25] and [38] for a thorough analysis of these problems and for detailed proofs.<\/jats:p>","DOI":"10.2178\/bsl\/1208358846","type":"journal-article","created":{"date-parts":[[2008,4,16]],"date-time":"2008-04-16T19:49:36Z","timestamp":1208375376000},"page":"99-113","source":"Crossref","is-referenced-by-count":0,"title":["Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics"],"prefix":"10.1017","volume":"14","author":[{"given":"Matteo","family":"Viale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600001840_ref027","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537854.001.0001","volume-title":"Cardinal Arithmetic","author":"Shelah","year":"1994"},{"key":"S1079898600001840_ref021","doi-asserted-by":"publisher","DOI":"10.2307\/2273097"},{"key":"S1079898600001840_ref002","doi-asserted-by":"crossref","first-page":"165","DOI":"10.4064\/fm-152-2-165-181","article-title":"Partition Properties of \u03c91 Compatible with CH","volume":"152","author":"Abraham","year":"1997","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600001840_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BF02785851"},{"key":"S1079898600001840_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-86580-9.50024-0"},{"key":"S1079898600001840_ref025","unstructured":"Sharon A. and Viale M. , A mild reflection principle on \u2135 implies that all points in are approachable, in preparation."},{"key":"S1079898600001840_ref037","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1146620153"},{"key":"S1079898600001840_ref035","doi-asserted-by":"publisher","DOI":"10.1007\/BF02785365"},{"key":"S1079898600001840_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/BF02759779"},{"key":"S1079898600001840_ref036","unstructured":"Viale M. , Application of the proper forcing axiom to cardinal arithmetic, Ph.D. thesis, Universit\u00e9 Paris 7-Denis Diderot, 2006."},{"key":"S1079898600001840_ref018","volume-title":"The Stationary Tower: Notes on a Course by W. Hugh Woodin","author":"Larson","year":"2004"},{"key":"S1079898600001840_ref030","doi-asserted-by":"publisher","DOI":"10.2307\/1970860"},{"key":"S1079898600001840_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/BF02782938"},{"key":"S1079898600001840_ref026","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21543-2"},{"key":"S1079898600001840_ref024","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.09.011"},{"key":"S1079898600001840_ref033","doi-asserted-by":"crossref","first-page":"251","DOI":"10.4064\/fm-166-3-251-267","article-title":"A dichotomy for P-ideals of countable sets","volume":"166","author":"Todor\u010devi\u0107","year":"2000","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600001840_ref032","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/084"},{"key":"S1079898600001840_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(70)90012-4"},{"key":"S1079898600001840_ref001","volume-title":"Handbook of set theory","author":"Abraham"},{"key":"S1079898600001840_ref017","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200410101"},{"key":"S1079898600001840_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90016-F"},{"key":"S1079898600001840_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/BF02937302"},{"key":"S1079898600001840_ref034","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(92)90038-M"},{"key":"S1079898600001840_ref005","doi-asserted-by":"publisher","DOI":"10.4310\/MRL.2006.v13.n3.a5"},{"key":"S1079898600001840_ref012","doi-asserted-by":"publisher","DOI":"10.2307\/1971415"},{"key":"S1079898600001840_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2275738"},{"key":"S1079898600001840_ref016","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1174668399"},{"key":"S1079898600001840_ref008","first-page":"115\u2013142","volume-title":"\u22a8 ISILC Logic Conference","volume":"499","author":"Devlin","year":"1975"},{"key":"S1079898600001840_ref022","first-page":"51","volume":"11","author":"Moore","year":"2005","journal-title":"Proper forcing, the continuum, and uncountable linear orders"},{"key":"S1079898600001840_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5764-9"},{"key":"S1079898600001840_ref015","volume-title":"Set theory","author":"Jech","year":"2002"},{"key":"S1079898600001840_ref038","volume-title":"Mathematical Research Letters","author":"Viale"},{"key":"S1079898600001840_ref006","doi-asserted-by":"crossref","first-page":"2703\u20132709","DOI":"10.1090\/S0002-9939-97-03995-6","article-title":"Collapsing successors of singulars","volume":"125","author":"Cummings","year":"1997","journal-title":"Proceedings of the American Mathematical Society"},{"key":"S1079898600001840_ref029","first-page":"365","volume-title":"Proceedings of the Symposium in Pure Mathematics","volume":"XXV","author":"Solovay","year":"1971"},{"key":"S1079898600001840_ref028","first-page":"265","article-title":"On the singular cardinal problem","volume":"1","author":"Silver","year":"1975","journal-title":"Proceedings of the International Congress of Mathematicians, Vancouver, B.C., 1974"},{"key":"S1079898600001840_ref023","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2006.163.669"},{"key":"S1079898600001840_ref003","doi-asserted-by":"publisher","DOI":"10.1112\/S0024609305004807"},{"key":"S1079898600001840_ref031","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/031\/763902"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600001840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,25]],"date-time":"2024-02-25T05:22:13Z","timestamp":1708838533000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600001840\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["S1079898600001840"],"URL":"https:\/\/doi.org\/10.2178\/bsl\/1208358846","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3]]}}}