A note on the Ketonen order and Lipschitz reducibility between ultrafilters

Abstract

In his study of the Ultrapower Axiom (UA), Goldberg revealed a connection between UA and the determinacy of certain games that witness Lipschitz reducibility between ultrafilters. In particular, he analyzed the relationship between the Ketonen and Lipschitz orders - two natural extensions of the Mitchell order from normal measures to arbitrary $\sigma$-complete ultrafilters - and proved that the Lipschitz order extends the Ketonen order. He further observed that under UA the two orders coincide. Goldberg asked if it's consistent that the orders differ from each other. We show that the answer is positive. In fact, even the Weak Ultrapower Axiom does not imply that the Ketonen and Lipschitz orders coincide.