{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T13:32:53Z","timestamp":1776691973025,"version":"3.51.2"},"reference-count":14,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1716793","type":"journal-article","created":{"date-parts":[[2012,9,24]],"date-time":"2012-09-24T23:30:27Z","timestamp":1348529427000},"source":"Crossref","is-referenced-by-count":5,"title":["PFA and Ideals on \u03c92 Whose Associated Forcings Are Proper"],"prefix":"10.1215","volume":"53","author":[{"given":"Sean","family":"Cox","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Viale, M., \u201cGuessing models and generalized Laver diamond,\u201d <i>Annals of Pure and Applied Logic<\/i>, published electronically 29 December 2011, <a href=\"doi:10.1016\/j.apal.2011.12.015\">doi:10.1016\/j.apal.2011.12.015<\/a>.","DOI":"10.1016\/j.apal.2011.12.015"},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Beaudoin, R. E., \u201cThe proper forcing axiom and stationary set reflection,\u201d <i>Pacific Journal of Mathematics<\/i>, vol. 149 (1991), pp. 13\u201324.","DOI":"10.2140\/pjm.1991.149.13"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Corazza, P., \u201cLaver sequences for extendible and super-almost-huge cardinals,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 64 (1999), pp. 963\u2013983.","DOI":"10.2307\/2586614"},{"key":"3","unstructured":"[3] Cox, S., \u201cIdeal projections as forcing projections,\u201d in preparation."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Cox, S., \u201cThe Diagonal Reflection Principle,\u201d <i>Proceedings of the American Mathematical Society<\/i>, vol. 140 (2012), pp. 2893\u20132902.","DOI":"10.1090\/S0002-9939-2011-11103-1"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Cummings, J., \u201cIterated forcing and elementary embeddings,\u201d pp. 775\u2013883 in <i>Handbook of Set Theory<\/i>, vol. 2, edited by M. Foreman and A. Konamori, Springer, Dordrecht, 2010.","DOI":"10.1007\/978-1-4020-5764-9_13"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Foreman, M., \u201cSmoke and mirrors: Combinatorial properties of small cardinals equiconsistent with huge cardinals,\u201d <i>Advances in Mathematics<\/i>, vol. 222 (2009), pp. 565\u2013595.","DOI":"10.1016\/j.aim.2009.05.006"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Foreman, M., \u201cIdeals and generic elementary embeddings,\u201d pp. 885\u20131147 in <i>Handbook of Set Theory<\/i>, Springer, Dordrecht, 2010.","DOI":"10.1007\/978-1-4020-5764-9_14"},{"key":"8","unstructured":"[8] Foreman, M., \u201cCalculating quotient algebras for generic embeddings,\u201d to appear in <i>Israel Journal of Mathematics<\/i>."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Foreman, M., and M. Magidor, \u201cLarge cardinals and definable counterexamples to the continuum hypothesis,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 76 (1995), pp. 47\u201397.","DOI":"10.1016\/0168-0072(94)00031-W"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Foreman, M., M. Magidor, and S. Shelah, \u201cMartin\u2019s maximum, saturated ideals, and nonregular ultrafilters, I,\u201d <i>Annals of Mathematics (2)<\/i>, vol. 127 (1988), pp. 1\u201347.","DOI":"10.2307\/1971415"},{"key":"11","unstructured":"[11] Jech, T., <i>Set Theory<\/i>, 3rd millennium edition, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003."},{"key":"12","unstructured":"[12] Kanamori, A., <i>The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings<\/i>, 2nd edition, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Woodin, W. H., <i>The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal<\/i>, vol. 1 of <i>de Gruyter Series in Logic and its Applications<\/i>, Walter de Gruyter &amp; Co., Berlin, 1999.","DOI":"10.1515\/9783110804737"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1716793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:54Z","timestamp":1706648274000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-3\/PFA-and-Ideals-on-%cf%892-Whose-Associated-Forcings-Are-Proper\/10.1215\/00294527-1716793.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":14,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1716793","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}