Switch to: References

Add citations

You must login to add citations.
  1. Cichoń’s diagram, regularity properties and $${\varvec{\Delta}^1_3}$$ Δ 3 1 sets of reals.Vera Fischer, Sy David Friedman & Yurii Khomskii - 2014 - Archive for Mathematical Logic 53 (5-6):695-729.
    We study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing, for sets of real numbers on the Δ31\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_3}$$\end{document} level of the projective hieararchy. For Δ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_2}$$\end{document} and Σ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma}^1_2}$$\end{document} sets, the relationships between these properties follows the pattern of the well-known Cichoń diagram for cardinal characteristics of the continuum. It is known that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Making doughnuts of Cohen reals.Lorenz Halbeisen - 2003 - Mathematical Logic Quarterly 49 (2):173-178.
    For a ⊆ b ⊆ ω with b\ a infinite, the set D = {x ∈ [ω]ω : a ⊆ x ⊆ b} is called a doughnut. A set S ⊆ [ω]ω has the doughnut property [MATHEMATICAL SCRIPT CAPITAL D] if it contains or is disjoint from a doughnut. It is known that not every set S ⊆ [ω]ω has the doughnut property, but S has the doughnut property if it has the Baire property ℬ or the Ramsey property ℛ. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Parameterized partition relations on the real numbers.Joan Bagaria & Carlos A. Di Prisco - 2009 - Archive for Mathematical Logic 48 (2):201-226.
    We consider several kinds of partition relations on the set ${\mathbb{R}}$ of real numbers and its powers, as well as their parameterizations with the set ${[\mathbb{N}]^{\mathbb{N}}}$ of all infinite sets of natural numbers, and show that they hold in some models of set theory. The proofs use generic absoluteness, that is, absoluteness under the required forcing extensions. We show that Solovay models are absolute under those forcing extensions, which yields, for instance, that in these models for every well ordered partition (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Mathias and silver forcing parametrized by density.Giorgio Laguzzi, Heike Mildenberger & Brendan Stuber-Rousselle - 2023 - Archive for Mathematical Logic 62 (7):965-990.
    We define and investigate versions of Silver and Mathias forcing with respect to lower and upper density. We focus on properness, Axiom A, chain conditions, preservation of cardinals and adding Cohen reals. We find rough forcings that collapse $$2^\omega $$ 2 ω to $$\omega $$ ω, while others are surprisingly gentle. We also study connections between regularity properties induced by these parametrized forcing notions and the Baire property.
    Download  
     
    Export citation  
     
    Bookmark  
  • On splitting trees.Giorgio Laguzzi, Heike Mildenberger & Brendan Stuber-Rousselle - 2023 - Mathematical Logic Quarterly 69 (1):15-30.
    We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well‐known notions, such as Lebesgue measurablility, Baire‐ and Doughnut‐property and the Marczewski field. Moreover, we prove that any absolute amoeba forcing for splitting trees necessarily adds a dominating real, providing more support to Hein's and Spinas' conjecture that.
    Download  
     
    Export citation  
     
    Bookmark