无精细结构的编码
逻辑
2016-09-06 v1
摘要
我们给出 Jensen 编码定理（假设 -0#）的一个证明，该证明引用覆盖引理，但除此之外不借助精细结构理论。关键思想是在极限基数处使用修改的编码定义，采用“编码延迟”。
关键词
引用
@article{arxiv.math/9509208,
title = {Coding Without Fine Structure},
author = {Sy D. Friedman},
journal= {arXiv preprint arXiv:math/9509208},
year = {2016}
}