论文标题
在Cohen和Prikry上强迫概念
On Cohen and Prikry Forcing Notions
论文作者
论文摘要
我们表明,可以将$κ^+ - $ cohen子集加入$κ$,而Prikry强迫$κ$。这回答了\ cite {hayutbenhanougitik}的问题。引入了非加尔文特性的增强。证明使用单个可测量的红衣主教是一致的,该基数改善了S. Garti,S。Shelah和第一作者\ cite {Benhamougartieshelah}。检查了基于扩展器的Prikry强迫的情况。这与H. Woodin的问题有关。
We show that it is possible to add $κ^+-$Cohen subsets to $κ$ with a Prikry forcing over $κ$. This answers a question from \cite{HayutBenhanouGitik}. A strengthening of non-Galvin property is introduced. It is shown to be consistent using a single measurable cardinal which improves a previous result by S. Garti, S. Shelah, and the first author \cite{BenhamouGartieShelah}. A situation with extender-based Prikry forcings is examined. This relates to a question of H. Woodin.