Specializing Aronszajn trees by countable approximations
Abstract
We show that there are proper forcings based upon countable trees of creatures that specialize a given Aronszajn tree.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- December 2001
- DOI:
- 10.48550/arXiv.math/0112287
- arXiv:
- arXiv:math/0112287
- Bibcode:
- 2001math.....12287M
- Keywords:
-
- Logic