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  
  • Dominating projective sets in the Baire space.Otmar Spinas - 1994 - Annals of Pure and Applied Logic 68 (3):327-342.
    We show that every analytic set in the Baire space which is dominating contains the branches of a uniform tree, i.e. a superperfect tree with the property that for every splitnode all the successor splitnodes have the same length. We call this property of analytic sets u-regularity. However, we show that the concept of uniform tree does not suffice to characterize dominating analytic sets in general. We construct a dominating closed set with the property that for no uniform tree whose (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
    In this article we give a forcing characterization for the Ramsey property of Σ 1 2 -sets of reals. This research was motivated by the well-known forcing characterizations for Lebesgue measurability and the Baire property of Σ 1 2 -sets of reals. Further we will show the relationship between higher degrees of forcing absoluteness and the Ramsey property of projective sets of reals.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Regularity properties for dominating projective sets.Jörg Brendle, Greg Hjorth & Otmar Spinas - 1995 - Annals of Pure and Applied Logic 72 (3):291-307.
    We show that every dominating analytic set in the Baire space has a dominating closed subset. This improves a theorem of Spinas [15] saying that every dominating analytic set contains the branches of a uniform tree, i.e. a superperfect tree with the property that for every splitnode all the successor splitnodes have the same length. In [15], a subset of the Baire space is called u-regular if either it is not dominating or it contains the branches of a uniform tree, (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations