Iteration of Semiproper Forcing Revisited
arXiv:1410.5095
Abstract
We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Neeman.
17 pages
arXiv:1410.5095
We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Neeman.
17 pages