Exploring the Limits of Independence in Mathematical Theories
Ever wondered how mathematical theories can be organized based on their complexity? Let's dive into the world of model theory, where we're looking at something called the $\mathrm{NSOP}{2^{n+1}+1}$ hierarchy. This hierarchy is all about understanding the different levels of independence in formulas