Timeline for "cov vs pp" problem
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 29, 2022 at 7:46 | comment | added | Martin Sleziak | The link in this answer no longer works - here is at least a Wayback Machine snapshot: main page and publications. | |
| Aug 29, 2013 at 1:15 | comment | added | Todd Eisworth | I'll edit my answer to address your revised question as soon as I get a little time. First week of semester is always busy. | |
| Aug 27, 2013 at 19:38 | comment | added | Alberto Levi | I edited my question to make it more clear. | |
| Aug 26, 2013 at 3:28 | comment | added | Alberto Levi | Thank you for your answer and your attention! Yes, SSH ($\operatorname{pp} (\lambda) = \lambda^+$ for every singular $\lambda$) follows from GCH and from "$0^{\sharp}$ does not exist", and SSH implies that $\operatorname{cov} ( \lambda , \lambda, {(\operatorname{cf}(\lambda))}^{+} , 2) = \lambda^+$ for every singular $\lambda$. | |
| Aug 25, 2013 at 16:03 | history | answered | Todd Eisworth | CC BY-SA 3.0 |