Any behaviour of the Mitchell ordering of normal measures is possible

From MaRDI portal



Abstract: Let U0,U1 be two normal measures on kappa. We say that U0 is in the Mitchell ordering less then U1, U0vartriangleleftU1, if U0inUlt(V,U1). The ordering is well-known to be transitive and well-founded. It has been an open problem to find a model where the Mitchell ordering embeds the four-element poset |;|. We show that in the Kunen-Paris extension all well-founded posets are embeddable. Hence there is no structural restriction on the Mitchell ordering. Moreover we show that it is possible to have two vartriangleleft-incomparable measures that extend in a generic extension into two vartriangleleft-comparable measures.











This page was built for publication: Any behaviour of the Mitchell ordering of normal measures is possible

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4874335)