SPECIALIZING WIDE ARONSZAJN TREES WITHOUT ADDING REALS (Set Theory and Infinity)
Copyright policy )SPECIALIZING WIDE ARONSZAJN TREES WITHOUT ADDING REALS (Set Theory and Infinity)
We show that under certain circumstances wide Aronszajn trees can be specialized iteratively without adding reals. We then use this fact to study forcing axioms compatible with CH and list some open problems.