The Approachability Ideal Without a Maximal Set

DOI10.1016/J.APAL.2018.10.004MaRDI QIDQ6275630arXivWikidataFDO

Authors John Krueger

Publication date 16 July 2016

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.APAL.2018.10.004

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55)

arXiv classification

math.LO

Abstract: We develop a forcing poset with finite conditions which adds a partial square sequence on a given stationary set, with adequate sets of models as side conditions. We then develop a kind of side condition product forcing for simultaneously adding partial square sequences on multiple stationary sets. We show that certain quotients of such forcings have the $omeg{a}_1$-approximation property. We apply these ideas to prove, assuming the consistency of a greatly Mahlo cardinal, that it is consistent that the approachability ideal $I[omeg{a}_2]$ does not have a maximal set modulo clubs.

This page was built for publication: The Approachability Ideal Without a Maximal Set

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