English

On Ultrapowers and Cohesive Ultrafilters

Logic 2024-11-15 v2

Abstract

We characterize the Tukey order, the Galvin property/ Cohesive ultrafilters from \cite{Kanamori1978} in terms of ultrapowers. We use this characterization to measure the distance between the Tukey order and other well-known orders of ultrafilters. Secondly, we improve two theorems of Kanamori \cite{Kanamori1978} from the 70's. We then study the point spectrum and the depth spectrum of an ultrafilter, and give a simple positive answer to Kanamori's question \cite[Question 2]{Kanamori1978} starting from a supercompact cardinal. We also prove that a positive answer requires more than o(κ)=κ++o(\kappa)=\kappa^{++}. Finally, we prove several consistency results regarding the point and depth spectrum.

Keywords

Cite

@article{arxiv.2410.06275,
  title  = {On Ultrapowers and Cohesive Ultrafilters},
  author = {Tom Benhamou},
  journal= {arXiv preprint arXiv:2410.06275},
  year   = {2024}
}

Comments

(1) We replace the surgery argument with the extender-based Radin forcing technique. (2) We added the result that a positive answer to Kanamori's question requires more than o(\kappa)=\kappa^{++}