μ\mu-Clubs OF Pκ(λ)P_\kappa (\lambda) : Paradise on earth

If $V = L$, and $\mu$, $\kappa$ and $\lambda$ are three infinite cardinals with $\mu = {\rm cf} (\mu) < \kappa = {\rm cf}(\kappa) \leq \lambda$, then, as shown in \cite{Heaven}, the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa (\lambda^{< \kappa})$ are isomorphic if and only if ${\rm cf} (\lambda) \not= \mu$. Now in $L$, $\lambda^{< \kappa}$ equals $u (\kappa, \lambda)$ (the least size of a cofinal subset in $(P_\kappa (\lambda), \subseteq)$) equals $\lambda$ if ${\rm cf} (\lambda) \geq \kappa$, and $\lambda^+$ otherwise. We show that, in ZFC, there are many triples $(\mu, \kappa, \lambda)$ for which ($u (\kappa, \lambda) > \lambda$ and) the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa (u (\kappa, \lambda))$ are isomorphic

Meeting, covering and Shelah's Revised GCH

We revisit the application of Shelah's Revised GCH Theorem \cite{SheRGCH} to diamond. We also formulate a generalization of the theorem and prove a small fragment of it. Finally we consider another application of the theorem, to covering numbers of the form cov(-, -, -, $\omega$).Comment: arXiv admin note: text overlap with arXiv:2308.1446

μ\mu-Clubs of Pκ(λ)P_\kappa (\lambda) : Paradise in heaven

Let $\mu < \kappa < \lambda$ be three infinite cardinals, the first two being regular. We show that if there is no inner model with large cardinals, $u (\kappa, \lambda)$ is regular, where $u (\kappa, \lambda)$ denotes the least size of a cofinal subset in $(P_\kappa (\lambda), \subseteq)$, and cf$(\lambda) \not= \mu$, then (a) the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa (u (\kappa, \lambda))$ are isomorphic, and (b) the ideal dual to the $\mu$-club filter on $P_\kappa (\lambda)$ (and hence the restriction of the nonstationary ideal on $P_\kappa (\lambda)$ to sets of uniform cofinality $\mu$) is not $I_{\kappa, \lambda}$-$\frak{b}_{u (\kappa, \lambda)}$-saturated

Club-guessing, good points and diamond

summary:Shelah's club-guessing and good points are used to show that the two-cardinal diamond principle $\lozenge_{\kappa,\lambda}$ holds for various values of $\kappa$ and $\lambda$

A Result in Dual Ramsey Theory

AbstractWe present a result which is obtained by combining a result of Carlson with the Finitary Dual Ramsey Theorem of Graham–Rothschild