Cardinality and Ramsey-ultrafilter conjecture for Rudin–Keisler intervals

Let \boldsymbol\beta\boldsymbol\thinspace\boldsymbol\backslash\boldsymbol\beta\boldsymbol\thinspace\boldsymbol\text{?} be the space of ultrafilters on \boldsymbol\beta\boldsymbol\thinspace\boldsymbol\text{?}, let u\boldsymbol u be an ultrafilter, and let [u,u\tensor2][\boldsymbol u,\boldsymbol u^{\tensor 2}] denote the interval of isomorphism classes between u\boldsymbol u and its tensor square in the Rudin–Keisler order. Write 1\beth_1 for the cardinality of the continuum.

Cardinality and Ramsey-ultrafilter conjecture. For every ultrafilter u\boldsymbol u,

[u,u\tensor2]ω{1}.|[\boldsymbol u,\boldsymbol u^{\tensor 2}]|\in\omega\cup\{\beth_1\}.

Moreover, the following are equivalent: there exists a Ramsey ultrafilter; for every \boldsymbol\boldsymbol\text{kappa}\in\omega\cup\{\beth_1\}, there is an ultrafilter u\boldsymbol u such that

|[\boldsymbol u,\boldsymbol u^{\tensor 2}]|=\boldsymbol\boldsymbol\text{kappa}.

The accompanying hint indicates that finite lower Rudin–Keisler intervals yield finite intervals here, while an infinite lower interval produces 1\beth_1 pairwise non-isomorphic intermediate ultrafilters. The source presents this as a question, so its resolution is not established in the supplied text.

Sources & referencesView supporting material

Primary source

Nikolai L. Poliakov and Denis I. Saveliev, “On embedding of partially ordered sets in (βω,_RK)”, arXiv:2511.19354 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.