A Model in Which GCH Holds at Successors but Fails at Limits

James Cummings
1992 Transactions of the American Mathematical Society  
Starting with GCH and a 9'3K-hypermeasurable cardinal, a model is produced in which 2). = A. + if A. is a successor cardinal and 2). = A. ++ if A. is a limit cardinal. The proof uses a Reverse Easton extension followed by a modified Radin forcing.
doi:10.2307/2154075 fatcat:vghaodwhazhb5lnwejopg4lc24