{"id":"arxiv/2601.10614","url":"https://arxiv.org/abs/2601.10614","tags":["math.LO"],"score":0,"title":"The directedness of the Rudin-Keisler order at measurable cardinals","domain":"math.LO","source":"arxiv","authors":["Yair Hayut","Alejandro Poveda"],"reviews":0,"subject":"math.LO","summary":"The manuscript is concerned with the Rudin-Keisler order of ultrafilters on measurable cardinals. The main theorem proved read as follows: Given regular cardinals $λ\\leq κ$, the following theories are equiconsistent modulo ZFC: (1) $κ$ is a measurable cardinal with $o(κ)=λ^+$ (resp. $o(κ)=κ$). (2) The Rudin-Keisler order restricted to the set of $κ$-complete (non-principal) ultrafilters on $κ$ is $λ^+$-directed (resp. $κ^+$-directed). The theorem reported here is proved after bridging the directedness of the RK-order with the $λ$-Gluing Property introduced by the authors in \\cite{HP}. Our…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-15","reactions":{}}