Iteration of Semiproper Forcing Revisited
Boban Velickovic
TL;DR
This paper revisits and refines a method for iterating semiproper forcing using side conditions, building upon recent techniques introduced by Neeman to improve the process.
Contribution
It introduces a new iteration method for semiproper forcing that leverages side conditions inspired by Neeman's approach, enhancing previous techniques.
Findings
Provides a detailed method for iterating semiproper forcing with side conditions
Improves upon existing iteration techniques for semiproper forcing
Potentially simplifies the construction of models using semiproper forcing
Abstract
We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Neeman.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical and Theoretical Analysis · Functional Equations Stability Results · Advanced Optimization Algorithms Research