Tukey-idempotency and strong p-points

Tom Benhamou, Natasha Dobrinen, Tan Özalp

We characterize strong $p$-point ultrafilters by showing that they are exactly those $p$-points that are not Tukey above $({\omega }^{\omega },\le )$; or equivalently, those $p$-points that are no…