Scifaro

中文

重访 Solovay 的一个未发表定理

逻辑 2020-02-20 v4

作者: Ali Enayat , Vladimir Kanovei

在 arXiv 上查看 ↗ PDF ↗

摘要

在可构造宇宙 $L$ 的 Sacks 和 $E_0$ -大泛型扩张中，存在一对可定义的互不相交的非 OD 实数集（因而是不可区分集）。

关键词

Solovay 定理非 OD 集实数集 Sacks 扩张 E_0-大扩张可构造宇宙

引用

@article{arxiv.2001.11058,
  title  = {An unpublished theorem of Solovay, revisited},
  author = {Ali Enayat and Vladimir Kanovei},
  journal= {arXiv preprint arXiv:2001.11058},
  year   = {2020}
}

备注

More thoroughful treatment of Lemma 4.3