We investigate pseudopowers of singular cardinals and deduce some consequences for covering numbers at singular cardinals of uncountable cofinality.

We prove that WRP and saturation of the ideal NSω1 together imply $\left\{ {a \in [\lambda ]^{\omega _1 } :{\text{cof}}\left( {{\text{sup}}\left( a \right)} \right) = \omega _1 } \right\}$, for every cardinal λ with cof(λ) ≥ω2 .

From large cardinals we show the consistency of normal, fine, κ-complete λ-dense ideals on ${{\cal P}_\kappa }\left( \lambda \right)$ for successor κ. We explore the interplay between dense ideals, cardinal arithmetic, and squares, answering some open questions of Foreman.

For an infinite cardinal ${\it\kappa}$, let $\text{ded}\,{\it\kappa}$ denote the supremum of the number of Dedekind cuts in linear orders of size ${\it\kappa}$. It is known that ${\it\kappa}<\text{ded}\,{\it\kappa}\leqslant 2^{{\it\kappa}}$ for all ${\it\kappa}$ and that $\text{ded}\,{\it\kappa}<2^{{\it\kappa}}$ is consistent for any ${\it\kappa}$ of uncountable cofinality. We prove however that $2^{{\it\kappa}}\leqslant \text{ded}(\text{ded}(\text{ded}(\text{ded}\,{\it\kappa})))$ always holds. Using this result we calculate the Hanf numbers for the existence of two-cardinal models with arbitrarily large gaps and for the existence of arbitrarily large models omitting a type in the class of countable dependent first-order theories. Specifically, we show that these bounds are as large as in the class of all countable theories.

We prove that the strong polarized relation is consistent with ZFC, for a singular μ which is a limit of measurable cardinals.

We show that it is relatively consistent with ZFC to have PCF structures of height δ, for all ordinals δ < ω3.