Abstract
Gitik and Rinot (Trans Am Math Soc 364(4):1771–1795, 2012) proved assuming the existence of a supercompact that it is consistent to have a strong limit cardinal \(\kappa \) of countable cofinality such that \(2^\kappa =\kappa ^+\), there is a very good scale at \(\kappa \), and \(\diamond \) fails along some reflecting stationary subset of \(\kappa ^+\cap \text {cof}(\omega )\). In this paper, we force over Gitik and Rinot’s model but with a modification of Gitik–Sharon (Proc Am Math Soc 136(1):311, 2008) diagonal Prikry forcing to get this result for \(\kappa =\aleph _{\omega ^2}\).
Similar content being viewed by others
References
Cummings, J., Foreman, M.: Diagonal prikry extensions. J. Symb. Logic 75, 1383–1402 (2010)
Cummings, J., Foreman, M., Magidor, M.: Squares, scales and stationary reflection. J. Math. Log. 1, 3598 (2001)
Gitik, M., Rinot, A.: The failure of diamond on a reflecting stationary set. Trans. Am. Math. Soc. 364(4), 1771–1795 (2012)
Gitik, M., Sharon, A.: On SCH and the approachability property. Proc. Am. Math. Soc. 136(1), 311 (2008)
Laver, R.: Making the supercompactness of \(\kappa \) indestructible under \(\kappa \)-directed closed forcing. Israel J. Math. 29, 385–388 (1978)
Rinot, A.: A relative of the approachability ideal, diamond and non-saturation. J. Symb. Logic 75(3), 1035–1065 (2010)
Shelah, S.: Cardinal Arithmetic. Oxford Logic Guides, 29. Oxford University Press, Oxford (1994)
Shelah, S.: Diamonds, uniformization. J. Symb. Logic 49(4), 1022–1033 (1984)
Zeman, M.: Diamond, GCH and weak square. Proc. Am. Math. Soc. 138(5), 1853–1859 (2010)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Du, J. Diamond, scales and GCH down to \(\aleph _{\omega ^2}\). Arch. Math. Logic 58, 427–442 (2019). https://doi.org/10.1007/s00153-018-0633-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-018-0633-4