Covering properties of $$omega $$ω -mad families

&
Archive for Mathematical Logic 59 (3-4):445-452 (2020)
  Copy   BIBTEX

Abstract

We prove that Martin’s Axiom implies the existence of a Cohen-indestructible mad family such that the Mathias forcing associated to its filter adds dominating reals, while \ is consistent with the negation of this statement as witnessed by the Laver model for the consistency of Borel’s conjecture.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-019-00700-y

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

My notes

Similar books and articles

Mathias forcing and combinatorial covering properties of filters.David Chodounský, Dušan Repovš & Lyubomyr Zdomskyy - 2015 - Journal of Symbolic Logic 80 (4):1398-1410.
Canjar Filters.Osvaldo Guzmán, Michael Hrušák & Arturo Martínez-Celis - 2017 - Notre Dame Journal of Formal Logic 58 (1):79-95.
Cohen-stable families of subsets of integers.Miloš S. Kurilić - 2001 - Journal of Symbolic Logic 66 (1):257-270.
Combinatorial Properties of Filters and Open Covers for Sets of Real Numbers.Claude Laflamme & Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1243-1260.
Cohen-Stable Families of Subsets of Integers.Milos Kurilic - 2001 - Journal of Symbolic Logic 66 (1):257-270.
Combinatorial images of sets of reals and semifilter trichotomy.Boaz Tsaban & Lyubomyr Zdomskyy - 2008 - Journal of Symbolic Logic 73 (4):1278-1288.
Cardinal Invariants and the Collapse of the Continuum by Sacks Forcing.Miroslav Repický - 2008 - Journal of Symbolic Logic 73 (2):711 - 727.
Covering analytic sets by families of closed sets.Sławomir Solecki - 1994 - Journal of Symbolic Logic 59 (3):1022-1031.
The Kunen-Miller chart (lebesgue measure, the baire property, Laver reals and preservation theorems for forcing).Haim Judah & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (3):909-927.
Borel's conjecture in topological groups.Fred Galvin & Marion Scheepers - 2013 - Journal of Symbolic Logic 78 (1):168-184.
Filter Logics on $omega$.Matt Kaufmann - 1984 - Journal of Symbolic Logic 49 (1):241-256.
Combinatorial properties of filters and open covers for sets of real numbers.Claude Laflamme & Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1243-1260.
Covering the Baire space by families which are not finitely dominating.Heike Mildenberger, Saharon Shelah & Boaz Tsaban - 2006 - Annals of Pure and Applied Logic 140 (1):60-71.
Strongly dominating sets of reals.Michal Dečo & Miroslav Repický - 2013 - Archive for Mathematical Logic 52 (7-8):827-846.
Creatures on ω 1 and weak diamonds.Heike Mildenberger - 2009 - Journal of Symbolic Logic 74 (1):1-16.

Analytics

Added to PP
2019-11-09

Downloads
28 (#538,947)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Mob families and mad families.Jörg Brendle - 1998 - Archive for Mathematical Logic 37 (3):183-197.
Cohen-stable families of subsets of integers.Miloš S. Kurilić - 2001 - Journal of Symbolic Logic 66 (1):257-270.
Products of hurewicz spaces in the Laver model.Dušan Repovš & Lyubomyr Zdomskyy - 2017 - Bulletin of Symbolic Logic 23 (3):324-333.
Canjar Filters.Osvaldo Guzmán, Michael Hrušák & Arturo Martínez-Celis - 2017 - Notre Dame Journal of Formal Logic 58 (1):79-95.

Add more references