Skip to main content
1 of 2
Monroe Eskew
  • 18.6k
  • 5
  • 53
  • 114

No. A subforcing of a c.c.c. forcing is c.c.c. A subforcing of a countably closed forcing is countably-strategically-closed, which implies proper. (This is easy to see via countable elementary submodels. Use the strategy to construct a generic condition.)

Monroe Eskew
  • 18.6k
  • 5
  • 53
  • 114