Some considerations on Amoeba forcing notions
arXiv:2008.04996 · doi:10.1007/s00153-014-0375-x
Abstract
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.
16 pages