7 found
Order:
  1.  11
    Games on Base Matrices.Vera Fischer, Marlene Koelbing & Wolfgang Wohofsky - 2023 - Notre Dame Journal of Formal Logic 64 (2):247-251.
    We show that base matrices for P(ω)∕fin of regular height larger than h necessarily have maximal branches that are not cofinal. The same holds for base matrices of height h if tSpoiler
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  14
    Strong measure zero in separable metric spaces and Polish groups.Michael Hrušák, Wolfgang Wohofsky & Ondřej Zindulka - 2016 - Archive for Mathematical Logic 55 (1-2):105-131.
    The notion of strong measure zero is studied in the context of Polish groups and general separable metric spaces. An extension of a theorem of Galvin, Mycielski and Solovay is given, whereas the theorem is shown to fail for the Baer–Specker group Zω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb{Z}^{\omega}}}$$\end{document}. The uniformity number of the ideal of strong measure zero subsets of a separable metric space is examined, providing solutions to several problems of Miller and Steprāns :52–59, 2006).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  6
    Correction to: Towers, mad families, and unboundedness.Vera Fischer, Marlene Koelbing & Wolfgang Wohofsky - 2023 - Archive for Mathematical Logic 62 (7):1159-1160.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  5
    Fresh function spectra.Vera Fischer, Marlene Koelbing & Wolfgang Wohofsky - 2023 - Annals of Pure and Applied Logic 174 (9):103300.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  4
    Towers, mad families, and unboundedness.Vera Fischer, Marlene Koelbing & Wolfgang Wohofsky - 2023 - Archive for Mathematical Logic 62 (5):811-830.
    We show that Hechler’s forcings for adding a tower and for adding a mad family can be represented as finite support iterations of Mathias forcings with respect to filters and that these filters are $${\mathcal {B}}$$ B -Canjar for any countably directed unbounded family $${\mathcal {B}}$$ B of the ground model. In particular, they preserve the unboundedness of any unbounded scale of the ground model. Moreover, we show that $${\mathfrak {b}}=\omega _1$$ b = ω 1 in every extension by the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    Ideal topologies in higher descriptive set theory.Peter Holy, Marlene Koelbing, Philipp Schlicht & Wolfgang Wohofsky - 2022 - Annals of Pure and Applied Logic 173 (4):103061.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  14
    There are no very meager sets in the model in which both the Borel Conjecture and the dual Borel Conjecture are true.Saharon Shelah & Wolfgang Wohofsky - 2016 - Mathematical Logic Quarterly 62 (4-5):434-438.
    We show that the model for the simultaneous consistency of the Borel Conjecture and the dual Borel Conjecture given in actually satisfies a stronger version of the dual Borel Conjecture: there are no uncountable very meager sets.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark