Generic codes for uncountable ordinals, partition properties, and elementary embeddings  pp. 379-397

Generic codes for uncountable ordinals, partition properties, and elementary embeddings

By Alexander S. Kechris and W. Hugh Woodin