I handed in my thesis a few days ago and I've always wanted to make a longer post about what it is about. But also I know that most people on here that I interact with are not mathematicians and those who are are probably not set theorists. So if I just told you "It's about how you can prove the relative consistency with ZFC of the splitting number being strictly less than the bounding number using a finite support iteration of Laver forcing with the Frechet filter of length ω₂" then that wouldn't mean anything to anyone reading this. It certainly wouldn't have meant anything to me a year ago.

So how about I leave out the details and talk big picture. I hope this will be accessible to anyone with high school-level math knowledge and curiosity to learn more about it. I'll tag this and all subsequent posts in this series with # grey's thesis explained