ω1-Ordinal Definable Sets and Chang's Model C
Zhao Xishun, Wang Ju
Chinese Quarterly Journal of Mathematics . 1998, (1): 98 -106 .