Scifaro

中文

$\mathrm{HOD}^{L[x]}$ 直至其 Woodin 基数的内部结构

逻辑 2017-11-09 v2

作者: Yizheng Zhu

在 arXiv 上查看 ↗ PDF ↗

摘要

假设 $\boldsymbol{\Delta}^1_3$ -决定性。我们证明对于任意 $x \geq_T M_1^{\#}$ ， $\mathrm{HOD}^{L[x]}$ 是 GCH 的模型，事实上，它是直至 $\omega_2^{L[x]}$ 的 Jensen-Steel 核模型。

关键词

HOD 决定性核模型 Jensen-Steel 核模型 GCH Woodin 基数

引用

@article{arxiv.1711.02007,
  title  = {The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin},
  author = {Yizheng Zhu},
  journal= {arXiv preprint arXiv:1711.02007},
  year   = {2017}
}

备注

withdrawn due to a mistake in Lemma 6.2