R·大卫。 Jensen编码定理的一些应用。 （英语） Zbl 0489.03021号 安。数学。逻辑 22, 177-196 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于7文件 MSC公司： 03E40型 强制模型和布尔值模型的其他方面 03C62号 算术和集合论模型 关键词：序数;容许集;传递模型;ZF集合论 PDF格式BibTeX公司 XML格式引用 \textit{R.David}，Ann.数学。逻辑22177--196（1982；Zbl 0489.03021） 全文： 内政部