Two cardinal versions of diamond. (English) Zbl 0798.03047
Roughly speaking, \(\diamondsuit_{\kappa,\lambda}\) asserts the existence of a sequence of size \(<\kappa\) sets that capture every subset of \(\lambda\) on a stationary set. The paper is devoted to the study of \(\diamondsuit_{\kappa, \lambda}\) and related principles, which are for instance obtained by considering sequences of larger sets, or by requesting the simultaneous capture of many subsets of \(\lambda\). Our main result is that \(\diamondsuit_{\kappa, \lambda}\) holds in case \(\lambda> 2^{< \kappa}\).
Reviewer: P.Matet (Caen)
References:
| [1] | Baumgartner, J. E.; Taylor, A. D., Saturation properties of ideals in generic extensions. I, Trans. Am. Math. Soc., 270, 557-574 (1982) · Zbl 0485.03022 · doi:10.2307/1999861 |
| [2] | Baumgartner, J. E., On the size of closed unbounded sets, Ann. Pure Appl. Logic, 54, 195-227 (1991) · Zbl 0746.03040 · doi:10.1016/0168-0072(91)90047-P |
| [3] | Burke, M. R.; Magidor, M., Shelah’s pcf theory and its applications, Ann. Pure Appl. Logic, 50, 207-254 (1990) · Zbl 0713.03024 · doi:10.1016/0168-0072(90)90057-9 |
| [4] | Devlin, K. J., Some weak versions of large cardinal axioms, Ann. Math. Logic, 5, 291-325 (1973) · Zbl 0279.02051 · doi:10.1016/0003-4843(73)90010-7 |
| [5] | Di Prisco, C. A.; Marek, W.; de Alcantara, L. P., Some aspects of the theory of large cardinals, Mathematical Logic and Formal Systems, 87-139 (1985), New York: Dekker, New York · Zbl 0597.03032 |
| [6] | Feng, Q., On weakly stationary sets, Proc. Am. Math. Soc., 105, 727-735 (1989) · Zbl 0663.03042 · doi:10.2307/2046926 |
| [7] | Gitik, M., Nonsplitting subset of \(\mathcal{P}_k \left( {k^+ } \right),\), J. Symbolic Logic, 50, 881-894 (1985) · Zbl 0601.03021 · doi:10.2307/2273978 |
| [8] | Gregory, J., Higher Souslin trees and the generalized continuum hypothesis, J. Symbolic Logic, 41, 663-671 (1976) · Zbl 0347.02044 · doi:10.2307/2272043 |
| [9] | Jech, T. J., Some combinatorial problems concerning uncountable cardinals, Ann. Math. Logic, 5, 165-198 (1973) · Zbl 0262.02062 · doi:10.1016/0003-4843(73)90014-4 |
| [10] | Jensen, R. B., The fine structure of the constructible hierarchy, Ann. Math. Logic, 4, 229-308 (1972) · Zbl 0257.02035 · doi:10.1016/0003-4843(72)90001-0 |
| [11] | Kueker, D., Countable approximations and Löwenheim-Skolem theorems, Ann. Math. Logic, 11, 57-103 (1977) · Zbl 0364.02009 · doi:10.1016/0003-4843(77)90010-9 |
| [12] | Kunen, K., Set Theory (1980), Amsterdam: North-Holland, Amsterdam · Zbl 0443.03021 |
| [13] | Magidor, M., Representing sets of ordinals as countable unions of sets in the core model, Trans. Am. Math. Soc., 317, 91-126 (1990) · Zbl 0714.03045 · doi:10.2307/2001455 |
| [14] | Matet, P., Partitions and Diamond, Proc. Am. Math. Soc., 97, 133-135 (1986) · Zbl 0618.03022 · doi:10.2307/2046094 |
| [15] | Matet, P., On diamond sequences, Fund. Math., 131, 35-44 (1988) · Zbl 0663.03035 |
| [16] | Matet, P.; Steprāns, J.; Watson, S., Concerning stationary subsets of \(\left[ \lambda \right]^{< k} ,\), Set Theory and its Applications, 119-127 (1989), Berlin: Springer, Berlin · Zbl 0683.03027 · doi:10.1007/BFb0097335 |
| [17] | Menas, T. K., On strong compactness and supercompactness, Ann. Math. Logic, 7, 327-359 (1974) · Zbl 0299.02084 · doi:10.1016/0003-4843(75)90009-1 |
| [18] | Shelah, S.; Boffa, M.; van Dalen, D.; Mc Aloon, K., On successors of singular cardinals, Logic Colloquium 78, 357-380 (1979), Amsterdam: North-Holland, Amsterdam · Zbl 0449.03045 |
| [19] | Shelah, S., Proper Forcing (1982), Berlin: Springer, Berlin · Zbl 0495.03035 |
| [20] | Shelah, S., More on stationary coding, Around Classification Theory of Models, 224-246 (1986), Berlin: Springer, Berlin · Zbl 0613.03009 · doi:10.1007/BFb0098516 |
| [21] | Shelah, S., Cardinal arithmetic for skeptics, Bull. Am. Math. Soc., 26, 197-210 (1992) · Zbl 0771.03017 |
| [22] | Steinhorn, C. I.; King, J. H., The uniformization property for ℵ_2, Isr. J. Math., 36, 248-256 (1980) · Zbl 0451.03018 · doi:10.1007/BF02762048 |
| [23] | Williams, N. H., Combinatorial Set Theory (1977), Amsterdam: North-Holland, Amsterdam · Zbl 0362.04008 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
