Abstract
We show that the tree property, stationary reflection and the failure of approachability at \(\kappa ^{++}\) are consistent with \(\mathfrak {u}(\kappa )= \kappa ^+ < 2^\kappa \), where \(\kappa \) is a singular strong limit cardinal with the countable or uncountable cofinality. As a by-product, we show that if \(\lambda \) is a regular cardinal, then stationary reflection at \(\lambda ^+\) is indestructible under all \(\lambda \)-cc forcings (out of general interest, we also state a related result for the preservation of club stationary reflection).
Similar content being viewed by others
Notes
However, to our knowledge there is no publication which surveys which cardinal invariants patterns at \(\omega \) can be realized with compactness at \(\omega _2\).
Suppose \(\kappa \) is singular. For every node \(t\in T\) and every regular \(\theta < \kappa \), there are unboundedly many levels of \(T_t\) with size at least \(\theta \), arguing as we did in the proof of (i) here. If \(\gamma < \kappa ^+\) is an ordinal of cofinality \(\mathrm {cf}(\kappa )\) such that for every regular \(\theta < \kappa \), there is a level of \(T_t\) below \(\gamma \) of size at least \(\theta \), then the level \(\gamma \) of \(T_t\) must have size \(\ge \theta \) for every such \(\theta \) (and so size \(\kappa \)) because T is well-pruned.
This is strictly stronger than requiring \(\le _J\) by (2). Note that if \(\prod A\) has no maximal elements, then the clause \(f = g\) can be omitted.
In our notational convention, \(\mathbb {Q}\) is \(\kappa ^+\)-distributive if \(\mathbb {Q}\) does not add new sequences of length \(<\kappa ^+\).
In fact, only two specific sequences in V are actually required for the main theorem (the sequence of measurables \(\bar{\kappa }\) satisfying \(\mathsf GCH\) and its successors; see below).
The proof of this abuses the notation and treats \(\mathbb {P}_\delta \) as defined with respect to this single \(\bar{\theta }\); to handle all the relevant \(\bar{\theta }\)’s, we need to ensure that each \(\bar{\theta }\) appears cofinally often below \(\delta \) in \(\mathbb {P}_\delta \).
Since we will have \(2^\kappa = \kappa ^{++}\) in the final model, \(\kappa ^+\) is the only interesting value of \(\mathfrak {u}(\kappa )\). But in principle, the forcing can be iterated up to any ordinal with cofinality \(>\kappa \).
The proof of (iii) was suggested to us by Menachem Magidor.
References
Abraham, U.: Aronszajn trees on \(\aleph _2\) and \(\aleph _3\). Ann. Pure Appl. Logic 24(3), 213–230 (1983)
Brooke-Taylor, A., Fischer, V., Friedman, S.-D., Montoya, D.C.: Cardinal characteristics at \(\kappa \) in a small \(\mathfrak{u}(\kappa )\) model. Ann. Pure Appl. Logic 168(1), 37–49 (2017)
Cummings, J., Friedman, S.-D., Magidor, M., Rinot, A., Sinapova, D.: The eightfold way. J. Symb. Logic 83(1), 349–371 (2018)
Fischer, V., Honzik, R., Stejskalová, Š.: Cardinal invariants at \(\kappa \) with compactness at \(\kappa ^{++}\) for a regular \(\kappa \). Work in progress
Friedman, S.D., Torres-Pérez, V.: The tree property at \(\omega _2\) and Bounded Forcing Axioms. Bul. Pol. Acad. of Sc. Math. 63(3) (2015)
Garti, S., Gitik, M., Shelah, S.: Cardinal characteristics at \(\aleph _\omega \). Acta Math. Hung. 160, 320–336 (2020)
Garti, S., Shelah, S.: A strong polarized relation. J. Symb. Logic 77(3), 766–776 (2012)
Garti, S., Shelah, S.: The ultrafilter number for singular cardinals. Acta Math. Hungar. 137(4), 296–301 (2012)
Gilton, T., Krueger, J.: A note on the eightfold way. Proc. Am. Math. Soc. 148(3), 1283–1293 (2020)
Gitik, M., Krueger, J.: Approachability at the second successor of a singular cardinal. J. Symb. Logic 74(4), 1211–1224 (2009)
Grigorieff, S.: Combinatorics on ideals and forcing. Ann. Math. Logic 3(4), 363–394 (1971)
Honzik, R.: A Laver-like indestructibility for hypermeasurable cardinals. Arch. Math. Logic 58(3), 257–287 (2019)
Honzik, R., Stejskalová, Š.: Indestructibility of the tree property. J. Symb. Logic 85(1), 467–485 (2020)
Jech, T., Shelah, S.: Full reflection of stationary sets below \(\aleph _\omega \). J. Symb. Logic 55(2), 822–830 (1990)
Jensen, R., Schlechta, K.: Result on the generic Kurepa hypothesis. Arch. Math. Logic 30, 13–27 (1990)
Kunen, K.: Set Theory, Studies in Logic: Mathematical Logic and Foundations, vol. 34. College Publications, London (2011)
Magidor, M.: Changing cofinality of cardinals. Fundam. Math. 99, 61–71 (1978)
Magidor, M.: Reflecting stationary sets. J. Symb. Logic 47(4), 755–771 (1982)
Raghavan, D., Shelah, S.: A small ultrafilter number at smaller cardinals. Arch. Math. Logic 59, 325–334 (2020)
Unger, S.: Fragility and indestructibility of the tree property. Arch. Math. Logic 51(5–6), 635–645 (2012)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Both authors were supported by FWF/GAČR grant Compactness principles and combinatorics (19-29633L).The second author acknowledges the institutional support RVO 67985840.
Rights and permissions
About this article
Cite this article
Honzik, R., Stejskalová, Š. Small \(\mathfrak {u}(\kappa )\) at singular \(\kappa \) with compactness at \(\kappa ^{++}\). Arch. Math. Logic 61, 33–54 (2022). https://doi.org/10.1007/s00153-021-00776-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-021-00776-5