Skip to main content
×
×
Home

THE EIGHTFOLD WAY

  • JAMES CUMMINGS (a1), SY-DAVID FRIEDMAN (a2), MENACHEM MAGIDOR (a3), ASSAF RINOT (a4) and DIMA SINAPOVA (a5)...
Abstract

Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing that any of their eight Boolean combinations can be forced to hold at ${\kappa ^{ + + }}$ , assuming that $\kappa = {\kappa ^{ < \kappa }}$ and there is a weakly compact cardinal above κ.

If in addition κ is supercompact then we can force κ to be ${\aleph _\omega }$ in the extension. The proofs combine the techniques of adding and then destroying a nonreflecting stationary set or a ${\kappa ^{ + + }}$ -Souslin tree, variants of Mitchell’s forcing to obtain the tree property, together with the Prikry-collapse poset for turning a large cardinal into ${\aleph _\omega }$ .

Copyright
References
Hide All
[1]Abraham, U., Aronszajn trees on and . Annals of Pure and Applied Logic, vol. 24 (1983), no. 3, pp. 213230.
[2]Baumgartner, J. E., A new class of order types. Annals of Mathematical Logic, vol. 9 (1976), no. 3, 187222.
[3]Baumgartner, J. E., Iterated forcing, Surveys in Set Theory (Mathias, A. R. D., editor), London Mathematical Society Lecture Note Series, vol. 87, Cambridge University Press, Cambridge, 1983, pp. 159.
[4]Cummings, J., Notes on singular cardinal combinatorics. Notre Dame Journal of Formal Logic, vol. 46 (2005), no. 3, pp. 251282.
[5]Cummings, J. and Foreman, M., The tree property. Advances in Mathematics, vol. 133 (1998), no. 1, pp. 132.
[6]Dobrinen, N. and Friedman, S.-D., The consistency strength of the tree property at the double successor of a measurable cardinal. Fundamenta Mathematicae, vol. 208 (2010), pp. 123153.
[7]Eisworth, T., Successors of singular cardinals, Handbook of Set Theory (Foreman, M. and Kanamori, A., editors), Springer, Netherlands, 2010, pp. 12291350.
[8]Fontanella, L. and Magidor, M., Reflection of stationary sets and the tree property at the successor of a singular cardinal, this Journal, vol. 82 (2017), no. 1, pp. 272291.
[9]Foreman, M., Large cardinals and strong model theoretic transfer properties. Transactions of the American Mathematical Society, vol. 272 (1982), no. 2, pp. 427463.
[10]Foreman, M. and Magidor, M., Large cardinals and definable counterexamples to the continuum hypothesis. Annals of Pure and Applied Logic, vol. 76 (1995), no. 1, pp. 4797.
[11]Friedman, S.-D. and Halilovic, A., The tree property at , this Journal, vol. 76 (2011), no. 2, pp. 477490.
[12]Friedman, S.-D., Honzik, R., and Stejskalová, Š., The tree property at with a finite gap, 2016. Preprint on webpage at http://logika.ff.cuni.cz/radek/papers/F-H-S_TP-aleph_omega-revised-2017-09-28.pdf.
[13]Gitik, M., Extender based forcings, fresh sets and Aronszajn trees, Infinity, Computability and Metamathematics (Geschke, S., Koepke, P., and Schlicht, P., editors), Tributes, vol. 23, College Publications, London, 2014, pp. 183203.
[14]Gitik, M., Prikry-type forcings, Handbook of Set Theory (Foreman, M. and Kanamori, A., editors), Springer, Netherlands, 2010, pp. 13511447.
[15]Gitik, M. and Krueger, J., Approachability at the second successor of a singular cardinal, this Journal, vol. 74 (2009), no. 4, pp. 1211–1224.
[16]Gitik, M. and Sharon, A., On SCH and the approachability property. Proceedings of the American Mathematical Society, vol. 136 (2008), no. 1, pp. 311320.
[17]Harrington, L. and Shelah, S., Some exact equiconsistency results in set theory. Notre Dame Journal of Formal Logic, vol. 26 (1985), no. 2, pp. 178188.
[18]Jensen, R. B., The fine structure of the constructible hierarchy. Annals of Mathematical Logic, 4 (1972), pp. 229308; erratum, ibid. 4 (1972), 443. With a section by Jack Silver.
[19]Kunen, K., Saturated ideals, this Journal, vol. 43 (1978), no. 1, pp. 6576.
[20]Magidor, M. and Shelah, S., The tree property at successors of singular cardinals. Archive for Mathematical Logic, vol. 35 (1996), no. 5–6, pp. 385404.
[21]Mitchell, W. J., Aronszajn trees and the independence of the transfer property. Annals of Pure and Applied Logic, vol. 5 (1972/73), pp. 2146.
[22]Rinot, A., A relative of the approachability ideal, diamond and nonsaturation, this Journal, vol. 75 (2010), no. 3, pp. 10351065.
[23]Rinot, A., Higher Souslin trees and the GCH, revisited. Advances in Mathematics, vol. 311 (2017), no. C, 510531.
[24]Shelah, S., On successors of singular cardinals, Logic Colloquium ’78 (Mons, 1978) (Boffa, M., van Dalen, D., and Mcaloon, K., editors), Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam-New York, 1979, pp. 357380.
[25]Shelah, S., Appendix: on stationary sets (in “Classification of nonelementary classes. II. Abstract elementary classes”), Classification Theory (Baldwin, J., editor), Lecture Notes in Mathematics, vol. 1292, Springer, Berlin, 1987, pp. 483495.
[26]Shelah, S., Reflecting stationary sets and successors of singular cardinals. Archive for Mathematical Logic, vol. 31 (1991), pp. 2553.
[27]Shelah, S., Cardinal Arithmetic, Oxford Logic Guides, vol. 29, Oxford University Press, New York, 1994.
[28]Silver, J., The independence of Kurepa’s conjecture and two-cardinal conjectures in model theory, Axiomatic Set Theory (Scott, D. S., editor), Proceedings of Symposia in Pure Mathematics, vol. XIII, Part 1, American Mathematical Society, Providence, RI, 1971, pp. 383390.
[29]Sinapova, D. and Unger, S., The tree property at and , 2016. Preprint on webpage at http://homepages.math.uic.edu/∼sinapova/.
[30]Unger, S., Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52 (2013), pp. 483496.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed