Specializing Aronszajn trees by countable approximations
arXiv:math/0112287
Abstract
We show that there are proper forcings based upon countable trees of creatures that specialize a given Aronszajn tree.
arXiv:math/0112287
We show that there are proper forcings based upon countable trees of creatures that specialize a given Aronszajn tree.