English

$\mu$-Clubs OF $P_\kappa (\lambda)$ : Paradise on earth

Logic 2023-08-30 v1

Abstract

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

Keywords

Cite

@article{arxiv.2308.14773,
  title  = {$\mu$-Clubs OF $P_\kappa (\lambda)$ : Paradise on earth},
  author = {Pierre Matet},
  journal= {arXiv preprint arXiv:2308.14773},
  year   = {2023}
}