C.c.c. forcing without combinatorics

C.c.c. forcing without combinatorics
复制标题

抄送

DOI：
--
复制
发表时间：
1984
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
通讯作者：
A. Mekler
A. Mekler
中科院分区：
--
文献类型：
--
作者：
A. Mekler

文献摘要

被引文献

相似文献

摘要c.c.c偏序集是用非一般条件来表示的。这种表征可以应用于得到关于ccc强迫的许多事实的简单证明，包括Con（MA + - CH）。
Abstract c.c.c. posets are characterised in terms of -generic conditions. This characterisation can be applied to get simple proofs of many facts about c.c.c. forcing including Con(MA + ┐CH).