AD^+ 自然模型中的 HOD
逻辑
2013-09-03 v2
摘要
本文在模型的某种小性假设下，分析了 AD^+ 自然模型的完整 HOD。作出该假设是为了利用 Sargsyan 关于 hod mice 理论的工作。我们证明了 HOD 是一个精细结构模型，特别是满足 GCH。
引用
@article{arxiv.1201.6128,
title = {HOD in natural models of AD^+},
author = {Nam Trang},
journal= {arXiv preprint arXiv:1201.6128},
year = {2013}
}