A model in which GCH holds at successors but fails at limits

Abstract

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.