Timeline for If $\kappa \rightarrow (\alpha)^r_2$ holds for every $r\in \omega$, then is $\kappa$ an $\alpha$-Erdős cardinal?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 31, 2013 at 13:38 | comment | added | user33625 | Thanks again, I must have just missed this page in Kanamori! | |
| May 31, 2013 at 13:33 | comment | added | Todd Eisworth | Oh, that's an old induction argument using the "inaccessible + tree property" characterization of weakly compact cardinals. Kanamori's "Higher Infinite" and Jech's "Set Theory" have it as an exercise, but Hajnal and Hamburger's "Set Theory" has it written out on page 220 if you've got access to that. | |
| May 31, 2013 at 13:11 | vote | accept | user33625 | ||
| May 31, 2013 at 13:06 | vote | accept | user33625 | ||
| May 31, 2013 at 13:11 | |||||
| May 31, 2013 at 13:06 | comment | added | user33625 | Thanks. But why does $\kappa$ weakly compact imply $\kappa\rightarrow (\kappa)^r_\lambda$ for all $r$? How do you get this from $\kappa\rightarrow (\kappa)^2_2$? | |
| May 31, 2013 at 12:51 | history | answered | Todd Eisworth | CC BY-SA 3.0 |