Specializing Aronszajn trees by countable approximations
Logic
2007-05-23 v1
Abstract
We show that there are proper forcings based upon countable trees of creatures that specialize a given Aronszajn tree.
Keywords
Cite
@article{arxiv.math/0112287,
title = {Specializing Aronszajn trees by countable approximations},
author = {Heike Mildenberger and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0112287},
year = {2007}
}