Karel Prikry Robert Solovay On Partitions into Stationary Sets. 75-80 1975 40 J. Symb. Log. 1 db/journals/jsyml/jsyml40.html#PrikryS75