论文标题
未发表的Solovay定理，重新审视
An unpublished theorem of Solovay, revisited
论文作者
论文摘要
在麻袋中存在一对可定义的脱节非欧元集（因此，不可见作的集合），而$ e_0 $ large的通用扩展是可构造的宇宙$ l $。
A definable pair of disjoint non-OD sets of reals (hence, indiscernible sets) exists in the Sacks and $E_0$-large generic extensions of the constructible universe $L$.
