Journal of Symbolic Logic 75 (3):1035-1065 (2010)

Abstract
Let λ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that $\square _{\lambda}^{\ast}$ together with 2 λ = λ⁺ implies $\lozenge _{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 $\text{NS}_{\lambda ^{+}}$ ↾ S is non-saturated; 2. if I[S; λ] is fat and 2 λ = λ⁺, then $\lozenge _{S}$ holds; 3. $\square _{\lambda}^{\ast}$ 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 $\square _{\lambda}^{\ast}$ fails, while I[S; λ] is fat for every stationary S ⊆ λ⁺ that reflects stationarily often. The stronger principle $\lozenge _{\lambda ^{+}}^{\ast}$ is studied as well
Keywords diamond   diamond star   saturation   approachability ideal   weak square   reflection principles   stationary hitting   sap
Categories (categorize this paper)
DOI 10.2178/jsl/1278682214
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,514
Through your library

References found in this work BETA

Squares, Scales and Stationary Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Some Exact Equiconsistency Results in Set Theory.Leo Harrington & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):178-188.

View all 6 references / Add more references

Citations of this work BETA

Aronszajn Trees, Square Principles, and Stationary Reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.
Diamond, Scales and GCH Down to $$\Aleph _{\Omega ^2}$$ ℵ Ω 2.Jin Du - 2019 - Archive for Mathematical Logic 58 (3-4):427-442.
Scales with Various Kinds of Good Points.Pierre Matet - 2018 - Mathematical Logic Quarterly 64 (4-5):349-370.
Guessing More Sets.Pierre Matet - 2015 - Annals of Pure and Applied Logic 166 (10):953-990.

Add more citations

Similar books and articles

Idempotent Ideals on Abelian Groups.Andrzej Pelc - 1984 - Journal of Symbolic Logic 49 (3):813-817.
Approachability and Games on Posets.Yasuo Yoshinobu - 2003 - Journal of Symbolic Logic 68 (2):589-606.
Rule Consequentialism and Scope.Leonard Kahn - 2012 - Ethical Theory and Moral Practice 15 (5):631-646.
Internal Approachability and Reflection.John Krueger - 2008 - Journal of Mathematical Logic 8 (1):23-39.
Pseudo-Finite Homogeneity and Saturation.Jörg Flum & Martin Ziegler - 1999 - Journal of Symbolic Logic 64 (4):1689-1699.
Cora Diamond and the Ethical Imagination.D. Moyal-Sharrock - 2012 - British Journal of Aesthetics 52 (3):223-240.
Saturated Models of Peano Arithmetic.J. F. Pabion - 1982 - Journal of Symbolic Logic 47 (3):625-637.
Accessible Categories, Saturation and Categoricity.Jiří Rosický - 1997 - Journal of Symbolic Logic 62 (3):891-901.
Feasibility Constraints for Political Theories.Holly Lawford-Smith - 2010 - Dissertation, Australian National University

Analytics

Added to PP index
2010-09-12

Total views
43 ( #223,822 of 2,348,209 )

Recent downloads (6 months)
1 ( #510,851 of 2,348,209 )

How can I increase my downloads?

Downloads

My notes