Forcing lightface definable well-orders without the GCH
Forcing lightface definable well-orders without the GCH
复制标题
在没有 GCH 的情况下强制 lightface 可定义良序
DOI：
10.1016/j.apal.2014.11.010
复制
发表时间：
2015
影响因子：
0.8
通讯作者：
Asperó D
中科院分区：
文献类型：
--
作者：
Asperó D
对于任意给定的不可数基数κ，且κ< κ= κ，我们给出了一个强制，它是< κ-定向闭的，具有κ+-cc，并引入了H（κ+）的一个光面可定义的良序.我们用它来定义一个全局迭代，它同时为所有这样的κ增加这样一个良序，并且能够保持宇宙中许多大基数的存在。
For any given uncountable cardinal κ with κ< κ= κ, we present a forcing that is< κ-directed closed, has the κ+-cc and introduces a lightface definable well-order of H (κ+). We use this to define a global iteration that adds such a well-order for all such κ simultaneously and is capable of preserving the existence of many large cardinals in the universe.
登录
查看更多内容
H(ω2) 和 GCH 的可定义良阶
DOI：
--
发表时间：
2012
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
D. Asperó;S. Friedman
通讯作者：
S. Friedman
影响因子：
0.8
作者：
D. Asperó;S. Friedman
通讯作者：
S. Friedman
影响因子：
56.9
作者：
V. Gates;.. M. L. Ludwig-M.-L.-Ludwig-2273875465;J. A. Hartsuck;T. A. Steitz;H. Muirhead;J. C. Coppola;G. N. Reeke
通讯作者：
V. Gates;.. M. L. Ludwig-M.-L.-Ludwig-2273875465;J. A. Hartsuck;T. A. Steitz;H. Muirhead;J. C. Coppola;G. N. Reeke
大基数和可定义的良阶，无需 GCH
影响因子：
0.8
作者：
Friedman S
通讯作者：
Friedman S
使用梯子编码对实数进行良好排序
DOI：
--
发表时间：
2001
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
U. Abraham;S. Shelah
通讯作者：
S. Shelah