Sealing & Pmax
Notes on HOD computation under AD+ and consequences for Σ21 absoluteness.
Quick facts
- 🏛️ Affiliations: University of Warsaw & IMPAN
- 🧭 Supervisor:
- 🔎 Current focus: Generic Absoluteness & Precipitous ideals on θ
- 🧩 Also building Bridge, a video consultation platform connecting seekers & experts
Bridge
Founder journey toward a vetted 1-to-1 expert marketplace with paid video sessions.
Perhaps the mathematics will turn out some other way. Perhaps the multiverse has no core, but some other, more subtle structure. There are many basic open questions at the foundations of set theory: the extent of generic absoluteness, the existence of iterable structures, the Ω-conjecture, the form of canonical inner models with supercompacts, and the properties of HOD in models of determinacy, to give my own partial list. Our path toward a stronger foundation will be lit by the answers to such questions.
Now
Drafting a preprint on Vopěnka algebra & precipitous ideals on θ (AD+).