An Inner Model Proof of the Strong Partition Property for δ12

Abstract

Assuming $V=L\left(\mathbb{R}\right)+AD$, using methods from inner model theory, we give a new proof of the strong partition property for $\underset{\sim }{\delta }_1^2$. The result was originally proved by Kechris et al.