<div class="csl-bib-body">
<div class="csl-entry">Mohammadpour, R. (2022). Specialising Trees With Small Approximations I. <i>Journal of Symbolic Logic</i>, 1–29. https://doi.org/10.1017/jsl.2022.24</div>
</div>
-
dc.identifier.issn
0022-4812
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/136039
-
dc.description.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.