PCF Theory and the Tukey Spectrum

MaRDI QIDQ6418325zbMATH OpenFDO

Authors Thomas Gilton

Publication date 23 November 2022

Abstract: In this paper, we investigate the relationship between the Tukey order and PCF theory, as applied to sets of regular cardinals. We show that it is consistent that for all sets $A$ of regular cardinals that the Tukey spectrum of $A$, denoted $operatornamespec(A)$, is equal to the set of possible cofinalities of $A$, denoted $operatornamepcf(A)$; this is to be read in light of the $mathsfZFC$ fact that $operatornamepcf(A)subseteqoperatornamespec(A)$ holds for all $A$. We also prove results about when regular limit cardinals must be in the Tukey spectrum or must be out of the Tukey spectrum of some $A$, and we show the relevance of these for forcings which might separate $operatornamespec(A)$ from $operatornamepcf(A)$. Finally, we show that the strong part of the Tukey spectrum can be used in place of PCF-theoretic scales to lift the existence of Jonsson algebras from below a singular to hold at its successor. We close with a list of questions.

This page was built for publication: PCF Theory and the Tukey Spectrum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6418325)