English

A connection between decomposability of ultrafilters and possible cofinalities

Logic 2007-05-23 v1

Abstract

We introduce the decomposability spectrum KD={λωDisλ-decomposable}K_D=\{\lambda \geq \omega| D \text{is} \lambda\text{-decomposable}\} of an ultrafilter DD, and show that Shelah's \pcf\pcf theory influences the possible values KDK_D can take. For example, we show that if \aaa\aaa is a set of regular cardinals, μ\pcfa\mu \in \pcfa, the ultrafilter DD is \aaa+|\aaa |^+-complete and KD\aaaK_D \subseteq \aaa, then μKD\mu \in K_D. As a consequence, we show that if λ \lambda is singular and for some λ<λ \lambda' < \lambda KDK_D contains all regular cardinals in [λ,λ) [\lambda', \lambda) then: (a) if \cfλ=ω\cf \lambda = \omega then either λKD \lambda \in K_D, or λ+KD \lambda ^+ \in K_D; and (b) if DD is (\cfλ)+(\cf \lambda)^+-complete then λ+KD \lambda ^+ \in K_D, and \pp(λ)=λ+\pp (\lambda)= \lambda ^+.

Keywords

Cite

@article{arxiv.math/0604191,
  title  = {A connection between decomposability of ultrafilters and possible cofinalities},
  author = {Paolo Lipparini},
  journal= {arXiv preprint arXiv:math/0604191},
  year   = {2007}
}

Comments

8 pages