Consistency strength of higher chang's conjecture, without CH

Sean D. Cox
2011 Archive for Mathematical Logic  
We prove that (ω 3 , ω 2 ) (ω 2 , ω 1 ) implies there is an inner model with a weak repeat measure.
doi:10.1007/s00153-011-0247-6 fatcat:f3spo4zhyjfndf7nxn2jz3olr4