Switch to: Citations

Add references

You must login to add references.
  1. Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
    We study the preservation of the property of being a Solovay model under proper projective forcing extensions. We show that every strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of under strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of under projective strongly-proper forcing notions is consistent relative to the existence of a -Mahlo cardinal. We also show that the consistency strength of the absoluteness of under (...)
    Download  
     
    Export citation  
     
    Bookmark   6 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  
  • Infinite combinatorics and definability.Arnold W. Miller - 1989 - Annals of Pure and Applied Logic 41 (2):179-203.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
    We study the preservation under projective ccc forcing extensions of the property of L(ℝ) being a Solovay model. We prove that this property is preserved by every strongly-̰Σ₃¹ absolutely-ccc forcing extension, and that this is essentially the optimal preservation result, i.e., it does not hold for Σ₃¹ absolutely-ccc forcing notions. We extend these results to the higher projective classes of ccc posets, and to the class of all projective ccc posets, using definably-Mahlo cardinals. As a consequence we obtain an exact (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Models of set theory containing many perfect sets.John Truss - 1974 - Annals of Mathematical Logic 7 (2):197.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Doughnuts, floating ordinals, square brackets, and ultraflitters.Carlos A. Di Prisco & James M. Henle - 2000 - Journal of Symbolic Logic 65 (1):461 - 473.
    Download  
     
    Export citation  
     
    Bookmark   5 citations