Skip to main content Accessibility help

The Magidor function and diamond

  • Pierre Matet (a1)


Let κ be a regular uncountable cardinal and λ be a cardinal greater than κ. We show that if 2<κM(κ, λ), then ◇κ,λ holds, where M(κ, λ) equals λ0 if cf(λ) ≥ κ, and (λ+)0 otherwise.



Hide All
[1]Abraham, U. and Magidor, M., Cardinal arithmetic, Handbook of set theory (Foreman, M. and Kanamori, A., editors), Springer, 2010, pp. 11491227.
[2]Cummings, J., A model in which GCH holds at successors but fails at limits. Transactions of the American Mathematical Society, vol. 329 (1992), pp. 139.
[3]Donder, H. D. and Matet, P., Two cardinal versions of diamond, Israel Journal of Mathematics, vol. 83 (1993), pp. 143.
[4]Foreman, M. and Magidor, M., Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on , Acta Mathematica, vol. 186 (2001), pp. 271300.
[5]Foreman, M. and Todorcevic, S., A new Lőwenheim–Skolem Theorem, Transactions of the American Mathematical Society, vol. 357 (2005), pp. 16931715.
[6]Jech, T. J., Some combinatorial problems concerning uncountable cardinals, Annals of Mathematical Logic, vol. 5 (1973), pp. 165198.
[7]Jech, T. J., Set theory, the third millenium ed., Springer Monographs in Mathematics, Springer, Berlin, 2002.
[8]Kojman, M., The A, B, Cofpcf. a companion to pcf theory, part I, unpublished, 1995.
[9]König, B., Winning strategies and tactics in club games, preprint.
[10]Kunen, K., Set theory, North-Holland, Amsterdam, 1980.
[11]Liu, A., Bounds for covering numbers, this Journal, vol. 71 (2006), pp. 13031310.
[12]Magidor, M., Representing sets of ordinals as countable unions of sets in the core model, Transactions of the American Mathematical Society, vol. 317 (1990), pp. 91126.
[13]Matet, P., Concerning stationary subsets of [λ]<κ, Set theory and its applications (Steprāns, J. and Watson, S., editors), Lecture Notes in Mathematics 1401, Springer, Berlin, 1989, pp. 119127.
[14]Matet, P., Club-guessing, goodpoints and diamond, Commentationes Universitatis Carolinae, vol. 48 (2007), pp. 211216.
[15]Matet, P., Guessing with mutually stationary sets, Canadian Mathematical Bulletin, vol. 51 (2008), pp. 579583.
[16]Matet, P., Game ideals, Annals of Pure and Applied Logic, vol. 158 (2009), pp. 2339.
[17]Shelah, S., More on stationary coding, Around classification theory of models, Lecture Notes in Mathematics 1182, Springer, Berlin, 1986, pp. 224246.
[18]Shelah, S., Non-structure theory, to appear.
[19]Shioya, M., Splitting into maximally many stationary sets, Israel Journal of Mathematics, vol. 114 (1999), pp. 347357.
[20]Shioya, M., Diamonds on , Computational prospects of infinity, part II (Chong, C., Feng, Q., Slaman, T., Woodin, W. H., and Yang, Y., editors). Lecture Notes Series, Institute of Mathematical Sciences, National University of Singapore, vol. 15, World Scientific, Singapore, 2008, pp. 271291.
[21]Solovay, R. M., Real-valued measurable cardinals, Axiomatic set theory (Scott, D. S., editor), Proceedings of Symposia in Pure Mathematics, vol. 13, American Mathematical Society, Providence, 1971, part 1, pp. 397428.
[22]Todorcevic, S., personal communication.
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? *



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