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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Covering properties of $$omega $$ω -mad families.Leandro Aurichi & Lyubomyr Zdomskyy - 2020 - Archive for Mathematical Logic 59 (3-4):445-452.
Towers, mad families, and unboundedness.Vera Fischer, Marlene Koelbing & Wolfgang Wohofsky - 2023 - Archive for Mathematical Logic 62 (5):811-830.
Mathias–Prikry and Laver–Prikry type forcing.Michael Hrušák & Hiroaki Minami - 2014 - Annals of Pure and Applied Logic 165 (3):880-894.
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
Different covering numbers of compact tree ideals.Jelle Mathis Kuiper & Otmar Spinas - forthcoming - Archive for Mathematical Logic:1-20.
Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
Potential continuity of colorings.Stefan Geschke - 2008 - Archive for Mathematical Logic 47 (6):567-578.
σ-Continuity and related forcings.Marcin Sabok - 2009 - Archive for Mathematical Logic 48 (5):449-464.
Combinatorial properties of classical forcing notions.Jörg Brendle - 1995 - Annals of Pure and Applied Logic 73 (2):143-170.

Analytics

Added to PP
2023-05-20

Downloads
15 (#1,220,934)

6 months
5 (#1,013,651)

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.
Minimal collapsing extensions of models of zfc.Lev Bukovský & Eva Copláková-Hartová - 1990 - Annals of Pure and Applied Logic 46 (3):265-298.
Full-splitting Miller trees and infinitely often equal reals.Yurii Khomskii & Giorgio Laguzzi - 2017 - Annals of Pure and Applied Logic 168 (8):1491-1506.

View all 10 references / Add more references