## Summary of first project

Theorem 1 If ${\mu}$ is singular of uncountable cofinality ${\kappa}$, then
$\displaystyle {\rm pp}(\mu)=\mu^+ \Longleftrightarrow{\rm cov}(\mu,\mu,\kappa^+, 2)=\mu^+. \ \ \ \ \ (1)$