18 found
Order:
  1.  41
    Mathias forcing and combinatorial covering properties of filters.David Chodounský, Dušan Repovš & Lyubomyr Zdomskyy - 2015 - Journal of Symbolic Logic 80 (4):1398-1410.
    We give topological characterizations of filters${\cal F}$onωsuch that the Mathias forcing${M_{\cal F}}$adds no dominating reals or preserves ground model unbounded families. This allows us to answer some questions of Brendle, Guzmán, Hrušák, Martínez, Minami, and Tsaban.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  30
    Convergence of measures after adding a real.Damian Sobota & Lyubomyr Zdomskyy - 2023 - Archive for Mathematical Logic 63 (1):135-162.
    We prove that if $$\mathcal {A}$$ A is an infinite Boolean algebra in the ground model V and $$\mathbb {P}$$ P is a notion of forcing adding any of the following reals: a Cohen real, an unsplit real, or a random real, then, in any $$\mathbb {P}$$ P -generic extension V[G], $$\mathcal {A}$$ A has neither the Nikodym property nor the Grothendieck property. A similar result is also proved for a dominating real and the Nikodym property.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  68
    Projective wellorders and mad families with large continuum.Vera Fischer, Sy David Friedman & Lyubomyr Zdomskyy - 2011 - Annals of Pure and Applied Logic 162 (11):853-862.
    We show that is consistent with the existence of a -definable wellorder of the reals and a -definable ω-mad subfamily of [ω]ω.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  39
    Fusion and large cardinal preservation.Sy-David Friedman, Radek Honzik & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (12):1247-1273.
    In this paper we introduce some fusion properties of forcing notions which guarantee that an iteration with supports of size ⩽κ not only does not collapse κ+ but also preserves the strength of κ. This provides a general theory covering the known cases of tree iterations which preserve large cardinals [3], Friedman and Halilović [5], Friedman and Honzik [6], Friedman and Magidor [8], Friedman and Zdomskyy [10], Honzik [12]).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  69
    Projective mad families.Sy-David Friedman & Lyubomyr Zdomskyy - 2010 - Annals of Pure and Applied Logic 161 (12):1581-1587.
    Using almost disjoint coding we prove the consistency of the existence of a definable ω-mad family of infinite subsets of ω together with.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  18
    Ways of Destruction.Barnabás Farkas & Lyubomyr Zdomskyy - 2022 - Journal of Symbolic Logic 87 (3):938-966.
    We study the following natural strong variant of destroying Borel ideals: $\mathbb {P}$ $+$ -destroys $\mathcal {I}$ if $\mathbb {P}$ adds an $\mathcal {I}$ -positive set which has finite intersection with every $A\in \mathcal {I}\cap V$. Also, we discuss the associated variants $$ \begin{align*} \mathrm{non}^*(\mathcal{I},+)=&\min\big\{|\mathcal{Y}|:\mathcal{Y}\subseteq\mathcal{I}^+,\; \forall\;A\in\mathcal{I}\;\exists\;Y\in\mathcal{Y}\;|A\cap Y| \omega $ ; (4) we characterise when the Laver–Prikry, $\mathbb {L}(\mathcal {I}^*)$ -generic real $+$ -destroys $\mathcal {I}$, and in the case of P-ideals, when exactly $\mathbb {L}(\mathcal {I}^*)$ $+$ -destroys $\mathcal {I}$ ; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  61
    Cardinal characteristics, projective wellorders and large continuum.Vera Fischer, Sy David Friedman & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (7-8):763-770.
    We extend the work of Fischer et al. [6] by presenting a method for controlling cardinal characteristics in the presence of a projective wellorder and 2ℵ0>ℵ2. This also answers a question of Harrington [9] by showing that the existence of a Δ31 wellorder of the reals is consistent with Martinʼs axiom and 2ℵ0=ℵ3.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  16
    Between Polish and completely Baire.Andrea Medini & Lyubomyr Zdomskyy - 2015 - Archive for Mathematical Logic 54 (1-2):231-245.
    All spaces are assumed to be separable and metrizable. Consider the following properties of a space X. X is Polish.For every countable crowded Q⊆X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Q \subseteq X}$$\end{document} there exists a crowded Q′⊆Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Q'\subseteq Q}$$\end{document} with compact closure.Every closed subspace of X is either scattered or it contains a homeomorphic copy of 2ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^\omega}$$\end{document}.Every closed subspace of X (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  25
    Products of hurewicz spaces in the Laver model.Dušan Repovš & Lyubomyr Zdomskyy - 2017 - Bulletin of Symbolic Logic 23 (3):324-333.
    This article is devoted to the interplay between forcing with fusion and combinatorial covering properties. We illustrate this interplay by proving that in the Laver model for the consistency of the Borel’s conjecture, the product of any two metrizable spaces with the Hurewicz property has the Menger property.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  24
    Combinatorial images of sets of reals and semifilter trichotomy.Boaz Tsaban & Lyubomyr Zdomskyy - 2008 - Journal of Symbolic Logic 73 (4):1278-1288.
    Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the interrelations between these properties in ZFC and in the realm of the trichotomy axiom for upward closed families of sets of natural numbers. While it is now known that the answer to the Hurewicz 1927 problem is positive, it is shown here that semifilter trichotomy implies a negative answer to a slightly stronger form of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  31
    Covering properties of $$omega $$ω -mad families.Leandro Aurichi & Lyubomyr Zdomskyy - 2020 - Archive for Mathematical Logic 59 (3-4):445-452.
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  31
    Selective covering properties of product spaces.Arnold W. Miller, Boaz Tsaban & Lyubomyr Zdomskyy - 2014 - Annals of Pure and Applied Logic 165 (5):1034-1057.
    We study the preservation of selective covering properties, including classic ones introduced by Menger, Hurewicz, Rothberger, Gerlits and Nagy, and others, under products with some major families of concentrated sets of reals.Our methods include the projection method introduced by the authors in an earlier work, as well as several new methods. Some special consequences of our main results are : Every product of a concentrated space with a Hurewicz S1S1 space satisfies S1S1. On the other hand, assuming the Continuum Hypothesis, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  14
    Locally compact, ω1-compact spaces.Peter Nyikos & Lyubomyr Zdomskyy - 2024 - Annals of Pure and Applied Logic 175 (1):103324.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  2
    Countable Spaces, Realcompactness, and the Pseudointersection Number.Claudio Agostini, Andrea Medini & Lyubomyr Zdomskyy - forthcoming - Journal of Symbolic Logic:1-17.
    All spaces are assumed to be Tychonoff. Given a realcompact space X, we denote by $\mathsf {Exp}(X)$ the smallest infinite cardinal $\kappa $ such that X is homeomorphic to a closed subspace of $\mathbb {R}^\kappa $. Our main result shows that, given a cardinal $\kappa $, the following conditions are equivalent: • There exists a countable crowded space X such that $\mathsf {Exp}(X)=\kappa $. • $\mathfrak {p}\leq \kappa \leq \mathfrak {c}$. In fact, in the case $\mathfrak {d}\leq \kappa \leq \mathfrak (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  57
    On the length of chains of proper subgroups covering a topological group.Taras Banakh, Dušan Repovš & Lyubomyr Zdomskyy - 2011 - Archive for Mathematical Logic 50 (3-4):411-421.
    We prove that if an ultrafilter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}}$$\end{document} is not coherent to a Q-point, then each analytic non-σ-bounded topological group G admits an increasing chain \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle G_\alpha:\alpha < \mathfrak b(\mathcal L)\rangle}$$\end{document} of its proper subgroups such that: (i) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\bigcup_{\alpha}G_\alpha=G}$$\end{document}; and (ii) For every σ-bounded subgroup H of G there exists α such that \documentclass[12pt]{minimal} \usepackage{amsmath} (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  38
    Menger's Covering Property and Groupwise Density.Boaz Tsaban & Lyubomyr Zdomskyy - 2006 - Journal of Symbolic Logic 71 (3):1053 - 1056.
    We establish a surprising connection between Menger's classical covering property and Blass-Laflamme's modern combinatorial notion of groupwise density. This connection implies a short proof of the groupwise density bound on the additivity number for Menger's property.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  21
    M-separable spaces of functions are productive in the Miller model.Dušan Repovš & Lyubomyr Zdomskyy - 2020 - Annals of Pure and Applied Logic 171 (7):102806.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  17
    On well-splitting posets.Dušan Repovš & Lyubomyr Zdomskyy - 2022 - Archive for Mathematical Logic 61 (7):995-1005.
    We introduce a class of proper posets which is preserved under countable support iterations, includes \(\omega ^\omega \) -bounding, Cohen, Miller, and Mathias posets associated to filters with the Hurewicz covering properties, and has the property that the ground model reals remain splitting and unbounded in corresponding extensions. Our results may be considered as a possible path towards solving variations of the famous Roitman problem.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark