Specialising Trees With Small Approximations II

arXiv2206.00612MaRDI QIDQ6400835FDOQ6400835

Rahman Mohammadpour

Publication date: 1 June 2022

Abstract: We show that the existence of a well-known type of ideals on a regular cardinal $lambda$ implies a compactness property concerning the specialisability of a tree of height $lambda$ with no cofinal branches. We also use Neeman's method of side conditions to show that the existence of such ideals is consistent with stationarily many appropriate guessing models. These objects suffice to extend the main theorem of cite{mhpr_spe}: one can generically specialise any branchless tree of height $kapp{a}^{++}$ with a $<kappa$-closed, $kapp{a}^{+}$-proper, and $kapp{a}^{++}$-preserving forcing, which has the $kapp{a}^{+}$-approximation property.

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35)

This page was built for publication: Specialising Trees With Small Approximations II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6400835)