English

Weak saturation properties and side conditions

Logic 2022-10-24 v2

Abstract

Towards combining "compactness" and "hugeness" properties at ω2\omega_2, we investigate the relevance of side-conditions forcing. We reduce the upper bound on the consistency strength of the weak Chang's Conjecture at ω2\omega_2 using Neeman's forcing. But we find a barrier to the applicability of these methods to our problem and give a counterexample to a claim of Neeman about the effects of iterating such forcing.

Keywords

Cite

@article{arxiv.2209.00340,
  title  = {Weak saturation properties and side conditions},
  author = {Monroe Eskew},
  journal= {arXiv preprint arXiv:2209.00340},
  year   = {2022}
}

Comments

Theorem 28 of the first version was false. There were some gaps in the proof of Lemma 32 and in the argument for the tree property in the last paragraph of page 24

R2 v1 2026-06-28T00:33:15.097Z