论文标题
关于Amoeba的一些注意事项强迫概念
Some considerations on Amoeba forcing notions
论文作者
论文摘要
在本文中,我们分析了树木锻炼的一些变形虫概念。特别是我们介绍了一个变形虫,并证明它可以满足准纯粹的决定,但不能满足纯粹的决定。此外,我们定义了一个变形虫,并证明它满足了Laver的财产。我们还向规律性属性显示了一些应用。我们终于提出了Amoeba的广义版本,并讨论了一些有趣的相关问题。
In this paper we analyse some notions of amoeba for tree forcings. In particular we introduce an amoeba-Silver and prove that it satisfies quasi pure decision but not pure decision. Further we define an amoeba-Sacks and prove that it satisfies the Laver property. We also show some application to regularity properties. We finally present a generalized version of amoeba and discuss some interesting associated questions.