Timeline for Regular limit points of possible cofinalities
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 18, 2020 at 2:12 | comment | added | Todd Eisworth | I do not have access to all of my materials because I am working from home, but there is discussion in the paper I referenced above, see Conjecture 1.10 and the subsequent pages. The idea is that if $\kappa$ is a weakly inaccessible limit point of $pcf(A)$, then you can force (via a mild forcing) a function $f\in\prod pcf(A)\cap\kappa$ dominating the ground model elements of the product. | |
| Apr 17, 2020 at 21:50 | comment | added | Sho Banno | What is the idea used to force the existence of progressive $A$ such that $\text{pcf}\ \text{pcf}\ A\not=\text{pcf}\ A$ from a progressive $B$ with a regular limit point? and where the proof can be found? | |
| Apr 17, 2020 at 21:45 | vote | accept | Sho Banno | ||
| Apr 17, 2020 at 17:59 | history | answered | Todd Eisworth | CC BY-SA 4.0 |