1 problem

Let $\mathscr B(\lambda)$ denote the class of countably complete incompressible ultrafilters relevant to the Ketonen order. Ketonen-order conjecture. If the Ketonen order is linear…