{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:47:25Z","timestamp":1751982445938},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T00:00:00Z","timestamp":1449792000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s00153-015-0466-3","type":"journal-article","created":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T05:54:45Z","timestamp":1449813285000},"page":"295-317","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Martin\u2019s maximum revisited"],"prefix":"10.1007","volume":"55","author":[{"given":"Matteo","family":"Viale","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,11]]},"reference":[{"key":"466_CR1","unstructured":"Audrito, G., Viale, M.: Absoluteness via resurrection. arXiv:1404.2111"},{"issue":"6","key":"466_CR2","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s001530050154","volume":"39","author":"J. Bagaria","year":"2000","unstructured":"Bagaria J.: Bounded forcing axioms as principles of generic absoluteness. Arch. Math. Log. 39(6), 393\u2013401 (2000)","journal-title":"Arch. Math. Log."},{"key":"466_CR3","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.1073\/pnas.50.6.1143","volume":"50","author":"P.J. Cohen","year":"1963","unstructured":"Cohen P.J.: The independence of the continuum hypothesis. Proc. Natl. Acad. Sci. USA 50, 1143\u20131148 (1963)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"8","key":"466_CR4","doi-asserted-by":"crossref","first-page":"2893","DOI":"10.1090\/S0002-9939-2011-11103-1","volume":"140","author":"S. Cox","year":"2012","unstructured":"Cox S.: The diagonal reflection principle. Proc. Am. Math. Soc. 140(8), 2893\u20132902 (2012)","journal-title":"Proc. Am. Math. Soc."},{"issue":"2","key":"466_CR5","doi-asserted-by":"crossref","first-page":"619","DOI":"10.4007\/annals.2011.173.2.1","volume":"173","author":"I. Farah","year":"2011","unstructured":"Farah I.: All automorphisms of the Calkin algebra are inner. Ann. Math. (2) 173(2), 619\u2013661 (2011)","journal-title":"Ann. Math. (2)"},{"issue":"1","key":"466_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1971415","volume":"127","author":"M. Foreman","year":"1988","unstructured":"Foreman M., Magidor M., Shelah S.: Martin\u2019s maximum, saturated ideals, and nonregular ultrafilters. I. Ann. Math. (2) 127(1), 1\u201347 (1988)","journal-title":"Ann. Math. (2)"},{"issue":"3\u20134","key":"466_CR7","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/s00153-014-0374-y","volume":"53","author":"J.D. Hamkins","year":"2014","unstructured":"Hamkins J.D., Johnstone T.A.: Resurrection axioms and uplifting cardinals. Arch. Math. Log. 53(3\u20134), 463\u2013485 (2014)","journal-title":"Arch. Math. Log."},{"key":"466_CR8","unstructured":"Jech, T.: Set theory. Springer Monographs in Mathematics. Springer, Berlin, The third millennium edition, revised and expanded (2003)"},{"key":"466_CR9","unstructured":"Kunen, K.: Set Theory: An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics, vol. 102. North-Holland, Amsterdam (1980)"},{"key":"466_CR10","doi-asserted-by":"crossref","unstructured":"Larson, P.B.: Forcing over models of determinacy. In: Foreman, M., Kanamori, A. (eds.) Handbook of Set Theory, Vols. 1, 2, 3, pp. 2121\u20132177. Springer, Dordrecht (2010)","DOI":"10.1007\/978-1-4020-5764-9_25"},{"key":"466_CR11","unstructured":"Larson, P.B.: The stationary tower. University Lecture Series, vol. 32, American Mathematical Society, Providence, RI. Notes on a course by W. Hugh Woodin (2004)"},{"issue":"1","key":"466_CR12","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1142\/S0219061305000407","volume":"5","author":"J.T. Moore","year":"2005","unstructured":"Moore J.T.: Set mapping reflection. J. Math. Log. 5(1), 87\u201397 (2005)","journal-title":"J. Math. Log."},{"issue":"2","key":"466_CR13","doi-asserted-by":"crossref","first-page":"669","DOI":"10.4007\/annals.2006.163.669","volume":"163","author":"J.T. Moore","year":"2006","unstructured":"Moore J.T.: A five element basis for the uncountable linear orders. Ann. Math. (2) 163(2), 669\u2013688 (2006)","journal-title":"Ann. Math. (2)"},{"key":"466_CR14","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF02757281","volume":"18","author":"S. Shelah","year":"1974","unstructured":"Shelah S.: Infinite abelian groups, Whitehead problem and some constructions. Israel J. Math. 18, 243\u2013256 (1974)","journal-title":"Israel J. Math."},{"key":"466_CR15","doi-asserted-by":"crossref","unstructured":"Stavi, J., V\u00e4\u00e4n\u00e4nen, J.: Reflection principles for the continuum. Logic and algebra, Contemp. Math., vol. 302, Amer. Math. Soc., Providence, RI, pp. 59\u201384 (2002)","DOI":"10.1090\/conm\/302\/05082"},{"issue":"4","key":"466_CR16","doi-asserted-by":"crossref","first-page":"465","DOI":"10.4310\/MRL.2002.v9.n4.a6","volume":"9","author":"S. Todorcevic","year":"2002","unstructured":"Todorcevic S.: Generic absoluteness and the continuum. Math. Res. Lett. 9(4), 465\u2013471 (2002)","journal-title":"Math. Res. Lett."},{"key":"466_CR17","unstructured":"Tsaprounis, K.: Large cardinals and resurrection axioms. (Ph.D. thesis) (2012)"},{"issue":"11","key":"466_CR18","doi-asserted-by":"crossref","first-page":"1660","DOI":"10.1016\/j.apal.2011.12.015","volume":"163","author":"M. Viale","year":"2012","unstructured":"Viale M.: Guessing models and generalized Laver diamond. Ann. Pure Appl. Log. 163(11), 1660\u20131678 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"466_CR19","unstructured":"Viale, M.: Category forcings, MM +++, and generic absoluteness for the theory of strong forcing axioms. arXiv:1305.2058"},{"issue":"5","key":"466_CR20","doi-asserted-by":"crossref","first-page":"2672","DOI":"10.1016\/j.aim.2011.07.016","volume":"228","author":"M. Viale","year":"2011","unstructured":"Viale M., Wei\u00df C.: On the consistency strength of the proper forcing axiom. Adv. Math. 228(5), 2672\u20132687 (2011)","journal-title":"Adv. Math."},{"key":"466_CR21","doi-asserted-by":"crossref","unstructured":"Woodin, W.H.: The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. de Gruyter Series in Logic and its Applications, vol. 1. Walter de Gruyter & Co., Berlin (1999)","DOI":"10.1515\/9783110804737"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0466-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0466-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0466-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T10:29:59Z","timestamp":1567420199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0466-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,11]]},"references-count":21,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["466"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0466-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,11]]}}}