Some considerations on amoeba forcing notions

Archive for Mathematical Logic 53 (5-6):487-502 (2014)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A formalism for some class of forcing notions.Piotr Koszmider & P. Koszmider - 1992 - Mathematical Logic Quarterly 38 (1):413-421.
Universal forcing notions and ideals.Andrzej Rosłanowski & Saharon Shelah - 2007 - Archive for Mathematical Logic 46 (3-4):179-196.
Amoeba reals.Haim Judah & Miroslav Repickẏ - 1995 - Journal of Symbolic Logic 60 (4):1168-1185.
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
Simple forcing notions and forcing axioms.Andrzej Rosłanowski & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (4):1297-1314.
σ-Continuity and related forcings.Marcin Sabok - 2009 - Archive for Mathematical Logic 48 (5):449-464.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
More forcing notions imply diamond.Andrzej Rosłanowski & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):299-313.
Generic trees.Otmar Spinas - 1995 - Journal of Symbolic Logic 60 (3):705-726.

Analytics

Added to PP
2014-02-27

Downloads
17 (#742,076)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized Silver and Miller measurability.Giorgio Laguzzi - 2015 - Mathematical Logic Quarterly 61 (1-2):91-102.
Full-splitting Miller trees and infinitely often equal reals.Yurii Khomskii & Giorgio Laguzzi - 2017 - Annals of Pure and Applied Logic 168 (8):1491-1506.
More on trees and Cohen reals.Giorgio Laguzzi & Brendan Stuber-Rousselle - 2020 - Mathematical Logic Quarterly 66 (2):173-181.
On splitting trees.Giorgio Laguzzi, Heike Mildenberger & Brendan Stuber-Rousselle - 2023 - Mathematical Logic Quarterly 69 (1):15-30.

Add more citations

References found in this work

Δ12-sets of reals.Jaime I. Ihoda & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 42 (3):207-223.
Solovay-Type Characterizations for Forcing-Algebras.Jörg Brendle & Benedikt Löwe - 1999 - Journal of Symbolic Logic 64 (3):1307-1323.
Generic trees.Otmar Spinas - 1995 - Journal of Symbolic Logic 60 (3):705-726.
Borel partitions of infinite subtrees of a perfect tree.A. Louveau, S. Shelah & B. Veličković - 1993 - Annals of Pure and Applied Logic 63 (3):271-281.

View all 7 references / Add more references