关于阿米巴力迫概念的几点思考
Some considerations on Amoeba forcing notions
摘要：
本文分析了树强迫中变形虫的一些概念。特别地，我们引入了一个变形虫Silver，并证明了它满足拟纯决策而不是纯决策。此外，我们定义了一个变形虫袋，并证明它满足Laver性质。我们还展示了一些应用程序的正则性。最后，我们提出了一个广义版本的变形虫，并讨论了一些有趣的相关问题。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
