Covering the Baire space by families which are not finitely dominating

, &
Annals of Pure and Applied Logic 140 (1):60-71 (2006)
  Copy   BIBTEX

Abstract

It is consistent that each union of many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter , the cofinality of the reduced ultrapower is greater than . The model is constructed by oracle chain condition forcing, to which we give a self-contained introduction

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.09.008

Other Versions

No versions found

Links

PhilArchive



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

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

Dominating projective sets in the Baire space.Otmar Spinas - 1994 - Annals of Pure and Applied Logic 68 (3):327-342.
Combinatorics for the dominating and unsplitting numbers.Jason Aubrey - 2004 - Journal of Symbolic Logic 69 (2):482-498.
Separating Many Localisation Cardinals on the Generalised Baire Space.Tristan van der Vlugt - 2024 - Journal of Symbolic Logic 89 (3):1212-1231.
Regularity properties for dominating projective sets.Jörg Brendle, Greg Hjorth & Otmar Spinas - 1995 - Annals of Pure and Applied Logic 72 (3):291-307.
Bounding and Dominating Number of Families of Functions on ω.Claude Laflamme - 1994 - Mathematical Logic Quarterly 40 (2):207-223.
Mathias forcing and combinatorial covering properties of filters.David Chodounský, Dušan Repovš & Lyubomyr Zdomskyy - 2015 - Journal of Symbolic Logic 80 (4):1398-1410.
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers.Ur Ya'ar - 2024 - Annals of Pure and Applied Logic 175 (1):103358.
Canjar Filters.Osvaldo Guzmán, Michael Hrušák & Arturo Martínez-Celis - 2017 - Notre Dame Journal of Formal Logic 58 (1):79-95.
Covering properties of $$omega $$ω -mad families.Leandro Aurichi & Lyubomyr Zdomskyy - 2020 - Archive for Mathematical Logic 59 (3-4):445-452.
Mathias–Prikry and Laver–Prikry type forcing.Michael Hrušák & Hiroaki Minami - 2014 - Annals of Pure and Applied Logic 165 (3):880-894.

Analytics

Added to PP
2013-12-31

Downloads
25 (#871,645)

6 months
14 (#218,995)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Selective covering properties of product spaces.Arnold W. Miller, Boaz Tsaban & Lyubomyr Zdomskyy - 2014 - Annals of Pure and Applied Logic 165 (5):1034-1057.

Add more citations

References found in this work

Maximal chains inωω and ultrapowers of the integers.Saharon Shelah & Juris Steprāns - 1993 - Archive for Mathematical Logic 32 (5):305-319.
Groupwise dense families.Heike Mildenberger - 2001 - Archive for Mathematical Logic 40 (2):93-112.

Add more references