Switch to: References

Add citations

You must login to add citations.
  1. 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).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Relativized Schnorr tests with universal behavior.Nicholas Rupprecht - 2010 - Archive for Mathematical Logic 49 (5):555-570.
    A Schnorr test relative to some oracle A may informally be called “universal” if it covers all Schnorr tests. Since no true universal Schnorr test exists, such an A cannot be computable. We prove that the sets with this property are exactly those with high Turing degree. Our method is closely related to the proof of Terwijn and Zambella’s characterization of the oracles which are low for Schnorr tests. We also consider the oracles which compute relativized Schnorr tests with the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Cohen preservation and independence.Vera Fischer & Corey Bacal Switzer - 2023 - Annals of Pure and Applied Logic 174 (8):103291.
    Download  
     
    Export citation  
     
    Bookmark  
  • Tight Eventually Different Families.Vera Fischer & Corey Bacal Switzer - 2024 - Journal of Symbolic Logic 89 (2):697-723.
    Generalizing the notion of a tight almost disjoint family, we introduce the notions of a tight eventually different family of functions in Baire space and a tight eventually different set of permutations of $\omega $. Such sets strengthen maximality, exist under $\mathsf {MA} (\sigma \mathrm {-centered})$ and come with a properness preservation theorem. The notion of tightness also generalizes earlier work on the forcing indestructibility of maximality of families of functions. As a result we compute the cardinals $\mathfrak {a}_e$ and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Strongly meager and strong measure zero sets.Tomek Bartoszyński & Saharon Shelah - 2002 - Archive for Mathematical Logic 41 (3):245-250.
    In this paper we present two consistency results concerning the existence of large strong measure zero and strongly meager sets. RID=""ID="" Mathematics Subject Classification (2000): 03e35 RID=""ID="" The first author was supported by Alexander von Humboldt Foundation and NSF grant DMS 95-05375. The second author was partially supported by Basic Research Fund, Israel Academy of Sciences, publication 658.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Continuum many different things: Localisation, anti-localisation and Yorioka ideals.Miguel A. Cardona, Lukas Daniel Klausner & Diego A. Mejía - 2024 - Annals of Pure and Applied Logic 175 (7):103453.
    Download  
     
    Export citation  
     
    Bookmark  
  • Strong Measure Zero Sets on for Inaccessible.Nick Steven Chapman & Johannes Philipp Schürz - forthcoming - Journal of Symbolic Logic:1-31.
    We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa $ for $\kappa $ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of $$\begin{align*}|2^\kappa| = \kappa^{++} + \forall X \subseteq 2^\kappa:\ X \textrm{ is strong measure zero if and only if } |X| \leq \kappa^+. \end{align*}$$ Furthermore, we also investigate the stronger notion of stationary strong measure zero and show that the equivalence (...)
    Download  
     
    Export citation  
     
    Bookmark