Jensen 编码定理的一个更简单的证明
逻辑
2009-09-25 v1
摘要
我们给出 Jensen 编码定理证明的简化（即使在 0# 存在的情形）。该证明避免了 Jensen 根据 0# 是否存在而分的情形讨论。此外，基于使用 Jensen 的 理论的精细结构方法，本文包含了 Square 与 Diamond 必要形式的自包含证明。
引用
@article{arxiv.math/9211204,
title = {A simpler proof of Jensen's coding theorem},
author = {Sy D. Friedman},
journal= {arXiv preprint arXiv:math/9211204},
year = {2009}
}