Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Israel Journal of Ma...arrow_drop_down
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Israel Journal of Mathematics
Article . 1989 . Peer-reviewed
License: Springer TDM
Data sources: Crossref
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 1989
Data sources: zbMATH Open
versions View all 2 versions
addClaim

The consistency strength of “every stationary set reflects”

The consistency strength of ``every stationary set reflects''
Authors: Mekler, Alan H.; Shelah, Saharon;

The consistency strength of “every stationary set reflects”

Abstract

For \(\kappa\) an infinite cardinal, a stationary subset \(S\subseteq \kappa\) is said to reflect if there is some limit ordinal \(\gamma <\kappa\) such that \(S\cap \gamma\) is stationary in \(\gamma\). A reflection cardinal is a cardinal \(\kappa\) carrying a proper \(\kappa\)-complete normal ideal \({\mathcal I}\) such that if \(X\in {\mathcal I}^+\) then \(\{\) \(\alpha\) : \(X\cap \alpha\) is stationary in \(\alpha\) \(\}\in {\mathcal I}^+\) (where as usual, \({\mathcal I}^+\) is the family of subsets of \(\kappa\) not in \({\mathcal I}).\) In this paper the authors show that the consistency strength of the existence of a regular cardinal such that every stationary set reflects is the same as the consistency strength of the existence of a regular reflection cardinal. (It is the same as the consistency strength of the existence of a regular cardinal \(\kappa\) such that every \(\kappa\)-free abelian group is \(\kappa^+\)-free, which is the motivation for the authors' interest in this question.) They also show that in L, the first reflection cardinal is greater than the first greatly Mahlo cardinal and less than the first weakly compact cardinal.

Keywords

stationary set, first weakly compact cardinal, Large cardinals, consistency strength, existence of a regular reflection cardinal, normal ideal, Consistency and independence results, first greatly Mahlo cardinal, existence of a regular cardinal, first reflection cardinal, Other combinatorial set theory

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    36
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Top 10%
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
36
Top 10%
Top 10%
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!