Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-16T23:11:30.849Z Has data issue: false hasContentIssue false
  • English
  • Français

A relative of the approachability ideal, diamond and non-saturation

Published online by Cambridge University Press:  12 March 2014

Assaf Rinot
Assaf Rinot*
Affiliation:
School of Mathematical Sciences, Tel Aviv University, Tel Aviv 69978. Israel. E-mail: [email protected], URL: http://www.tau.ac.il/~rinot
Get access Rights & Permissions [Opens in a new window]

Abstract

Let λ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that together with 2λ = λ+ implies ⋄S for every S ⊆ λ+ that reflects stationarily often.

In this paper, for a set S ⊆ λ+, a normal subideal of the weak approachability ideal is introduced, and denoted by I[S; λ]. We say that the ideal is fat if it contains a stationary set. It is proved:

1. if I[S; λ] is fat, then NSλ + ∣ S is non-saturated;

2. if I[S; λ] is fat and 2λ = λ+, then ⋄S holds;

3. implies that I[S; λ] is fat for every S ⊆ λ+ that reflects stationarily often;

4. it is relatively consistent with the existence of a supercompact cardinal that fails, while I[S; λ] is fat for every stationary S ⊆ λ+ that reflects stationarily often.

The stronger principle is studied as well.

Keywords

diamonddiamond starsaturationapproachability idealweak squarereflection principlesstationary hittingsap
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 75 , Issue 3 , September 2010 , pp. 1035 - 1065
Copyright
Copyright © Association for Symbolic Logic 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Cummings, James, Foreman, Matthew, and Magidor, Menachem, Squares, scales and stationary reflection, Journal of Mathematical Logic, vol. 1 (2001), no. 1, pp. 35–98.CrossRefGoogle Scholar
[2]Devlin, Keith J., Variations on ⋄, this Journal, vol. 44 (1979), no. 1, pp. 51–58.Google Scholar
[3]Devlin, Keith J. and Johnsbráten, Hávard, The Souslin problem, Lecture Notes in Mathematics, Vol. 405, Springer-Verlag, Berlin, 1974.CrossRefGoogle Scholar
[4]Džamonja, Mirna and Shelah, Saharon, Saturatedfilters at successors of singular, weak reflection and yet another weak club principle. Annals of Pure and Applied Logic, vol. 79 (1996), no. 3, pp. 289–316.CrossRefGoogle Scholar
[5]Foreman, Matthew and Magidor, Menachem, A very weak square principle, this Journal, vol. 62 (1997), no. 1, pp. 175–196.Google Scholar
[6]Gitik, Moti and Rinot, Assaf, The failure of diamond on a reflecting stationary set, Transactions of the American Mathematical Society, To appear.Google Scholar
[7]Gitik, Moti and Shelah, Saharon, Less saturated ideals, Proceedings of the American Mathematical Society, vol. 125 (1997), no. 5, pp. 1523–1530.CrossRefGoogle Scholar
[8]Gregory, John, Higher Souslin trees and the generalized continuum hypothesis, this Journal, vol. 41 (1976), no. 3, pp. 663–671.Google Scholar
[9]Harrington, Leo and Shelah, Saharon, Some exact equiconsistency results in set theory, Notre Dame Journal of Formal Logic, vol. 26 (1985), no. 2, pp. 178–188.CrossRefGoogle Scholar
[10]Jech, Thomas and Shelah, Saharon, Full reflection of stationary sets below ℵω, this Journal, vol. 55 (1990), no. 2, pp. 822–830.Google Scholar
[11]Jensen, R. Björn, The fine structure of the constructible hierarchy, Annals of Pure and Applied Logic, vol. 4 (1972), pp. 229–308; erratum, R. Björn Jensen, The fine structure of the constructible hierarchy, Annals of Pure and Applied Logic. 4 (1972), 443, With a section by Jack Silver.Google Scholar
[12]Kanamori, A. and Magidor, M., The evolution of large cardinal axioms in set theory, Higher set theory (Mathematisches Forschungsinstitut, Oberwolfach, 1977), Lecture Notes in Mathematics, vol. 669, Springer, Berlin, 1978, pp. 99–275.Google Scholar
[13]Krueger, John, Fat sets and saturated ideals, this Journal, vol. 68 (2003), no. 3, pp. 837–845.Google Scholar
[14]Kunen, Kenneth, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland, Amsterdam, 1980.Google Scholar
[15]Magidor, Menachem, Reflecting stationary sets, this Journal, vol. 47 (1982), no. 4, pp. 755–771 (1983).Google Scholar
[16]Moore, Justin Tatch, The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis, Annals of Pure and Applied Logic, vol. 140 (2006), no. 1-3, pp. 128–132.CrossRefGoogle Scholar
[17]Rinot, Assaf, A cofinality-preserving smallforcing may introduce a special aronszajn tree, Archive for Mathematical Logic, vol. 48 (2009), no. 8, pp. 817–823.CrossRefGoogle Scholar
[18]Shelah, Saharon, On successors of singular cardinals, Logic Colloquium '78 (Möns, 1978), Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam, 1979, pp. 357–380.Google Scholar
[19]Shelah, Saharon, Diamonds, uniformization, this Journal, vol. 49 (1984), no. 4, pp. 1022–1033.Google Scholar
[20]Shelah, Saharon, Advances in cardinal arithmetic, Finite and infinite combinatorics in sets and logic (Banff, AB, 1991), NATO Advanced Science Institutes Series C: Mathematics and Physics Sciences, vol. 411, Kluwer, Dordrecht, 1993, pp. 355–383.CrossRefGoogle Scholar
[21]Shelah, Saharon, Cardinal arithmetic, Oxford Logic Guides, vol. 29, The Clarendon Press Oxford University Press, New York, 1994.CrossRefGoogle Scholar
[22]Shelah, Saharon, Diamonds, Proceedings of the American Mathematical Society, vol. 138 (2010), pp. 2151–2161.CrossRefGoogle Scholar
[23]Steinhorn, Charles I. and King, James H., The uniformization property for ℵ2, Israeljournal of Mathematics, vol. 36 (1980), no. 3–4, pp. 248–256.CrossRefGoogle Scholar
[24]Viale, Matteo and Sharon, Assaf, Some consequences of reflection on the approachability ideal, Transactions of the American Mathematical Society, vol. 362 (2010), no. 8, pp. 4201–4212.Google Scholar
[25]Zeman, Martin, Diamond, GCH and weak square, Proceedings of the American Mathematical Society, vol. 138 (2010), no. 5, pp. 1853–1859.CrossRefGoogle Scholar