Switch to: Citations

Add references

You must login to add references.
  1. Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
    We improve a theorem of Raisonnier by showing that Cons(ZFC+every Σ 2 1 -set of reals in Lebesgue measurable+every Π 2 1 -set of reals isK σ-regular) implies Cons(ZFC+there exists an inaccessible cardinal). We construct, fromL, a model where every Δ 3 1 -sets of reals is Lebesgue measurable, has the property of Baire, and every Σ 2 1 -set of reals isK σ-regular. We prove that if there exists a Σ n+1 1 unbounded filter on ω, then there exists (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • DELTA ¹2-sets of reals.J. I. Ihoda - 1989 - Annals of Pure and Applied Logic 42 (3):207.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Δ12-sets of reals.Jaime I. Ihoda & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 42 (3):207-223.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Combinatorial properties of Hechler forcing.Jörg Brendle, Haim Judah & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (3):185-199.
    Brendle, J., H. Judah and S. Shelah, Combinatorial properties of Hechler forcing, Annals of Pure and Applied Logic 59 185–199. Using a notion of rank for Hechler forcing we show: assuming ωV1 = ωL1, there is no real in V[d] which is eventually different from the reals in L[ d], where d is Hechler over V; adding one Hechler real makes the invariants on the left-hand side of Cichoń's diagram equal ω1 and those on the right-hand side equal 2ω and (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Regularity properties of definable sets of reals.Jacques Stern - 1985 - Annals of Pure and Applied Logic 29 (3):289-324.
    Download  
     
    Export citation  
     
    Bookmark   8 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  
  • Can You Take Solovay's Inaccessible Away?Saharon Shelah & Jean Raisonnier - 1989 - Journal of Symbolic Logic 54 (2):633-635.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Infinite combinatorics and definability.Arnold W. Miller - 1989 - Annals of Pure and Applied Logic 41 (2):179-203.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • On the Consistency of Borel's Conjecture.Richard Laver & James E. Baumgartner - 1983 - Journal of Symbolic Logic 48 (3):882-883.
    Download  
     
    Export citation  
     
    Bookmark   11 citations