Archive for Mathematical Logic 53 (5-6):487-502 (2014)
| 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.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s00153-014-0375-x |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Δ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.
Set Theory: On the Structure of the Real Line.T. Bartoszyński & H. Judah - 1999 - Studia Logica 62 (3):444-445.
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
Citations of this work BETA
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.
Similar books and articles
Sweet & Sour and Other Flavours of Ccc Forcing Notions.Andrzej Rosłanowski & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (5):583-663.
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.
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.
More About Λ-Support Iterations of (<Λ)-Complete Forcing Notions.Andrzej Rosłanowski & Saharon Shelah - 2013 - Archive for Mathematical Logic 52 (5-6):603-629.
Review: Solomon Feferman, J. W. Addison, Leon Henkin, Alfred Tarski, Some Applications of the Notions of Forcing and Generic Sets (Summary); Solomon Feferman, Some Applications of the Notions of Forcing and Generic Sets. [REVIEW]James E. Baumgartner - 1972 - Journal of Symbolic Logic 37 (3):612-613.
Analytics
Added to PP index
2014-02-27
Total views
16 ( #668,315 of 2,517,876 )
Recent downloads (6 months)
1 ( #409,482 of 2,517,876 )
2014-02-27
Total views
16 ( #668,315 of 2,517,876 )
Recent downloads (6 months)
1 ( #409,482 of 2,517,876 )
How can I increase my downloads?
Downloads
