Some principles related to Chang's conjecture (Q750436): Difference between revisions
From MaRDI portal
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
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