On the consistency strength of ''accessible'' Jonsson cardinals and of the weak Chang conjecture (Q761448): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Created claim: Wikidata QID (P12): Q123277980, #quickstatements; #temporary_batch_1707252663060
Property / Wikidata QID
 
Property / Wikidata QID: Q123277980 / rank
 
Normal rank

Revision as of 22:52, 6 February 2024

scientific article
Language Label Description Also known as
English
On the consistency strength of ''accessible'' Jonsson cardinals and of the weak Chang conjecture
scientific article

    Statements

    On the consistency strength of ''accessible'' Jonsson cardinals and of the weak Chang conjecture (English)
    0 references
    0 references
    0 references
    1983
    0 references
    It is shown that if \(\lambda\) is a Jónsson cardinal, and either \(\lambda =\omega_{\xi}\) with \(\xi <\lambda\), or \(\lambda\) is regular, not weakly hyper-Mahlo, or \(\lambda\) is singular of uncountable cofinality, then \(O^+\) holds. wCC(\(\lambda)\) denotes the following property weaker than Chang's conjecture: every function \(\lambda\) \(\to \lambda\) has a Galvin-Hajnal rank less than \(\lambda^+\). If \(\lambda =\rho^+\geq \omega_ 2\) then wCC(\(\lambda)\) implies the existence of \(0^+\), and the exact consistency strength of \(wCC(\omega_ 1)\) is given (the existence of a weakening of \(\omega_ 1\)-Erdős cardinals). The proof uses elementary properties of the core model as well as the extended covering lemma for K, and other upshots of the Dodd-Jensen theory.
    0 references
    mice
    0 references
    Silver collapse
    0 references
    zero dagger
    0 references
    Jónsson cardinal
    0 references
    Erdős cardinals
    0 references
    core model
    0 references
    extended covering lemma
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references