guessing models; PFA; side condition; special trees; specialisation; trees
en
Abstract:
Assuming PFA, we shall use internally club Ω1-guessing models as side conditions to show that for every tree T of height Ω2without cofinal branches, there is a proper and N2-preserving forcing notion with finite conditions which specialises T. Moreover, the forcing has the Ω1-approximation property.