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.
Similar content being viewed by others
References
Bartoszyński T., Judah H.: Set Theory-on the Structure of the Real Line. AK Peters, Wellesley (1999)
Brendle J., Löwe B.: Solovay-type characterizations for forcing-algebra. J. Symb. Log. 64, 1307–1323 (1999)
Fischer, V., Friedman, S.D., Khomskii, Y.: Cichoń’s Diagram and Regularity Properties, to appear
Khomskii, Y.: Regularity properties and definability in the real number continuum, ILLC Dissertation Series DS-2012-04
Laguzzi, G.: On the separation of regularity properties of the reals. Archive for Mathematical Logic, to appear
Louveau A., Shelah S., Velickovic B.: Borel partitions of infinite subtrees of a perfect tree. Ann. Pure Appl. Logic 63, 271–281 (1993)
Shelah, S.: Can you take Solovay’s inaccessible away? Israel J. Math. 48, 1–47 (1985)
Shelah S.: On measure and category. Israel J. Math. 52, 110–114 (1985)
Shelah S, Judah H: \({\Delta^ 1_ 2}\) -sets of reals. Ann. Pure Appl. Logic 42, 207–223 (1989)
Spinas O.: Generic trees. J. Symb. Log. 60(3), 705–726 (1995)
Spinas O.: Proper products. Proc. Am. Math. Soc. 137, 2767–2772 (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Laguzzi, G. Some considerations on amoeba forcing notions. Arch. Math. Logic 53, 487–502 (2014). https://doi.org/10.1007/s00153-014-0375-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-014-0375-x