English

$\mu$-Clubs of $P_\kappa (\lambda)$ : Paradise in heaven

Logic 2023-08-30 v1

Abstract

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(κ,λ)u (\kappa, \lambda) is regular, where u(κ,λ)u (\kappa, \lambda) denotes the least size of a cofinal subset in (Pκ(λ),)(P_\kappa (\lambda), \subseteq), and cf(λ)μ(\lambda) \not= \mu, then (a) the μ\mu-club filters on Pκ(λ)P_\kappa (\lambda) and Pκ(u(κ,λ))P_\kappa (u (\kappa, \lambda)) are isomorphic, and (b) the ideal dual to the μ\mu-club filter on Pκ(λ)P_\kappa (\lambda) (and hence the restriction of the nonstationary ideal on Pκ(λ)P_\kappa (\lambda) to sets of uniform cofinality μ\mu) is not Iκ,λI_{\kappa, \lambda}-bu(κ,λ)\frak{b}_{u (\kappa, \lambda)}-saturated.

Keywords

Cite

@article{arxiv.2308.14787,
  title  = {$\mu$-Clubs of $P_\kappa (\lambda)$ : Paradise in heaven},
  author = {Pierre Matet},
  journal= {arXiv preprint arXiv:2308.14787},
  year   = {2023}
}