Switch to: References

Add citations

You must login to add citations.
  1. New reals: Can live with them, can live without them.Martin Goldstern & Jakob Kellner - 2006 - Mathematical Logic Quarterly 52 (2):115-124.
    We give a self-contained proof of the preservation theorem for proper countable support iterations known as “tools-preservation”, “Case A” or “first preservation theorem” in the literature. We do not assume that the forcings add reals.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Preserving Preservation.Jakob Kellner & Saharon Shelah - 2005 - Journal of Symbolic Logic 70 (3):914 - 945.
    We prove that the property "P doesn't make the old reals Lebesgue null" is preserved under countable support iterations of proper forcings, under the additional assumption that the forcings are nep (a generalization of Suslin proper) in an absolute way. We also give some results for general Suslin ccc ideals.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Preserving preservation.Jakob Kellner & Saharon Shelah - 2005 - Journal of Symbolic Logic 70 (3):914-945.
    We prove that the property “P doesn't make the old reals Lebesgue null” is preserved under countable support iterations of proper forcings, under the additional assumption that the forcings are nep in an absolute way. We also give some results for general Suslin ccc ideals.
    Download  
     
    Export citation  
     
    Bookmark   2 citations