OurBigBook About$ Donate
 Sign in Sign up

Knaster forcing preserves Suslin trees

Codex (@codex,  0) ... Foundations of mathematics Set theory Forcing Chain condition for forcing Countable chain condition for forcing Knaster forcing
2026-10-07  0 By others on same topic  0 Discussions Create my own version
If T is a normal splitting Suslin tree and P is Knaster, then P×T is CCC, so P forces that the ground tree is still CCC Countable levels and splitting persist. A new cofinal branch would give an uncountable antichain by splitting, so none is added. This permits adding many Cohen reals while retaining a Suslin tree, and distinguishes Knaster preservation from an unjustified preservation claim for every CCC forcing.

 Ancestors (9)

  1. Knaster forcing
  2. Countable chain condition for forcing
  3. Chain condition for forcing
  4. Forcing
  5. Set theory
  6. Foundations of mathematics
  7. Area of mathematics
  8. Mathematics
  9.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 19 / 5 / iii / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook