Mathias and silver forcing parametrized by density

Archive for Mathematical Logic 62 (7):965-990 (2023)
  Copy   BIBTEX

Abstract

We define and investigate versions of Silver and Mathias forcing with respect to lower and upper density. We focus on properness, Axiom A, chain conditions, preservation of cardinals and adding Cohen reals. We find rough forcings that collapse $$2^\omega $$ 2 ω to $$\omega $$ ω, while others are surprisingly gentle. We also study connections between regularity properties induced by these parametrized forcing notions and the Baire property.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Radin forcing and its iterations.John Krueger - 2007 - Archive for Mathematical Logic 46 (3-4):223-252.
Erratum: “Forcing and antifoundation”. [REVIEW]Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):663-663.
σ-Continuity and related forcings.Marcin Sabok - 2009 - Archive for Mathematical Logic 48 (5):449-464.
A note on the schemes of replacement and collection.A. R. D. Mathias - 2007 - Archive for Mathematical Logic 46 (1):43-50.
Forcing and antifoundation.Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):645-661.
Shelah’s work on non-semi-proper iterations, I.Chaz Schlindwein - 2008 - Archive for Mathematical Logic 47 (6):579-606.
Forcing notions in inner models.David Asperó - 2009 - Archive for Mathematical Logic 48 (7):643-651.
Forcing with quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.
Preface.Douglas Cenzer & Rebecca Weber - 2008 - Archive for Mathematical Logic 46 (7-8):529-531.
Well-foundedness in Realizability.M. Hofmann, J. Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Well-foundedness in Realizability.M. Hofmann, J. van Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Computability in Europe 2008.Arnold Beckmann, Costas Dimitracopoulos & Benedikt Löwe - 2010 - Archive for Mathematical Logic 49 (2):119-121.

Analytics

Added to PP
2023-05-20

Downloads
7 (#1,316,802)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
Mathias–Prikry and Laver–Prikry type forcing.Michael Hrušák & Hiroaki Minami - 2014 - Annals of Pure and Applied Logic 165 (3):880-894.
Solovay-Type Characterizations for Forcing-Algebras.Jörg Brendle & Benedikt Löwe - 1999 - Journal of Symbolic Logic 64 (3):1307-1323.
Full-splitting Miller trees and infinitely often equal reals.Yurii Khomskii & Giorgio Laguzzi - 2017 - Annals of Pure and Applied Logic 168 (8):1491-1506.
Minimal collapsing extensions of models of zfc.Lev Bukovský & Eva Copláková-Hartová - 1990 - Annals of Pure and Applied Logic 46 (3):265-298.

View all 11 references / Add more references