Preserving old ([omega]^aleph₀,supseteq^*) is proper

2010/05/17 by Shelah, Saharon
#03E35 #03E50 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1005.2802

Abstract

We give some sufficient and necessary conditions on a forcing notion Q for preserving the forcing notion ([omega]^aleph₀,supseteq^*) is proper. They cover many reasonable forcing notions.

Related

• Understanding preservation theorems: Chapter VI of Proper and Improper Forcing
• Understanding Preservation Theorems, Chapter VI of Proper and Improper Forcing, I
• Understanding preservation theorems: omega-omega bounding and Sacks property
• Preserving preservation
• Forcing axiom failure for any lambda>aleph₁