A combinatorial forcing for coding the universe by a real when there are no sharps

Shelah, Saharon; Stanley, Lee

数学 > 逻辑

arXiv:math/9311204 (math)

[提交于 1993年11月10日 ]

标题：一种组合强制方法，当没有尖点时通过实数对宇宙进行编码

标题： A combinatorial forcing for coding the universe by a real when there are no sharps

Authors:Saharon Shelah, Lee Stanley

摘要：假设0#不存在，我们提出一种组合方法来编码实数的Jensen方法。该强迫利用精细结构的组合结果（包括各种形式的覆盖引理），但不直接诉诸于精细结构本身。

摘要： Assuming 0# does not exist, we present a combinatorial approach to Jensen's method of coding by a real. The forcing uses combinatorial consequences of fine structure (including the Covering Lemma, in various guises), but makes no direct appeal to fine structure itself.

主题：	逻辑 (math.LO)
引用方式：	arXiv:math/9311204 [math.LO]
	(或者 arXiv:math/9311204v1 [math.LO] 对于此版本)
	https://doi.org/10.48550/arXiv.math/9311204
期刊参考：	Logic E-prints November 10, 1993; Shelah [ShSt:340]

提交历史

来自： Lee J. Stanley [查看电子邮件]
[v1] 星期三， 1993 年 11 月 10 日 00:00:00 UTC (45 KB)

数学 > 逻辑

标题：一种组合强制方法，当没有尖点时通过实数对宇宙进行编码

标题： A combinatorial forcing for coding the universe by a real when there are no sharps

提交历史

获取论文：

参考文献与引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

数学 > 逻辑

标题： 一种组合强制方法，当没有尖点时通过实数对宇宙进行编码 显示英文标题

标题： A combinatorial forcing for coding the universe by a real when there are no sharps

提交历史

获取论文：

参考文献与引用

BibTeX 格式的引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

标题：一种组合强制方法，当没有尖点时通过实数对宇宙进行编码