Let$\kappa $be a regular uncountable cardinal, anda cardinal greater than or equal to$\kappa $. Revisiting a celebrated result of Shelah, we show that ifis close to$\kappa $and(= the least size of a cofinal subset of) is greater than, thencan be represented (in the sense of pcf theory) as a pseudopower. This can be used to obtain optimal results concerning the splitting problem. For example we show that ifand, then no$\kappa $-complete ideal onis weakly-saturated.

We revisit several results concerning club principles and nonsaturation of the nonstationary ideal, attempting to improve them in various ways. So we typically deal with a ideal J extending the nonstationary ideal on a regular uncountable cardinal \, our goal being to witness the nonsaturation of J by the existence of towers ).

Let μ,κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu, \kappa}$$\end{document} and λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document} be three uncountable cardinals such that μ=cf<κ=cf<λ.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu = {\rm cf} < \kappa = {\rm cf} < \lambda.}$$\end{document} The game ideal NGκ,λμ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${NG_{\kappa,\lambda}^\mu}$$\end{document} is a normal ideal on Pκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${P_\kappa }$$\end{document} defined using games (...) of length μ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu}$$\end{document}. We show that if 2≤λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^{} \leq \lambda}$$\end{document} and there are no large cardinals in an inner model, then the diamond principle ♢κ,λ[NGκ,λμ]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_{\kappa,\lambda} [{NG}_{\kappa,\lambda}^\mu]}$$\end{document} holds. We also show that if ♢κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_\kappa }$$\end{document} holds, where S is a stationary subset of κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, then ♢κ,λ:a∩κ∈S})\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_{\kappa,\lambda} : a \cap \kappa \in S\})}$$\end{document} holds. (shrink)

We study the role of meeting numbers in pcf theory. In particular, Shelah's Strong Hypothesis is shown to be equivalent to the assertion that for any singular cardinal σ of cofinality ω, there is a size collection Q of countable subsets of σ with the property that for any infinite subset a of σ, there is a member of Q meeting a in an infinite set.