Some principles related to Chang's conjecture (Q750436): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4071748 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4149456 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized erdoös cardinals and O4 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Saturation Properties of Ideals in Generic Extensions.II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Core models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3679171 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3944594 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the consistency strength of ''accessible'' Jonsson cardinals and of the weak Chang conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inequalities for cardinal powers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonregular Ultrafilters and Large Cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Chang's conjecture and powers of singular cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on cardinal exponentiation / rank
 
Normal rank

Revision as of 11:34, 21 June 2024

scientific article
Language Label Description Also known as
English
Some principles related to Chang's conjecture
scientific article

    Statements

    Some principles related to Chang's conjecture (English)
    0 references
    0 references
    0 references
    1989
    0 references
    The authors prove that the consistency strength of the negation of the transversal hypothesis TH (TH says that there exist \(\omega_ 2\) many almost disjoint functions from \(\omega_ 1\) to \(\omega\)) is equal to that of the existence of a \((<\omega_ 1,<\omega_ 1)\)-Erdős cardinal (this cardinal is defined in terms of an infinite game using sets of indiscernibles for \(L_{\kappa}(A))\). One direction of the proof uses the Lévy-Solovay collapse making the Erdős cardinal equal to \(\omega_ 2\). The converse direction uses the core model. Some variants of Chang's conjecture are investigated, including their consistency strength. The key result says that a Chang's conjecture type assertion is equivalent to the negation of TH.
    0 references
    consistency strength
    0 references
    negation of the transversal hypothesis
    0 references
    Erdős cardinal
    0 references
    indiscernibles
    0 references
    Lévy-Solovay collapse
    0 references
    core model
    0 references
    variants of Chang's conjecture
    0 references
    0 references

    Identifiers