An inner model proof of the strong partition property of \delta^2_1

TL;DR

This paper demonstrates the strong partition property for ^2_1 by employing advanced techniques from inner model theory, contributing to the understanding of large cardinal properties.

Contribution

It provides the first inner model proof of the strong partition property for ^2_1, advancing the connection between inner model theory and partition properties.

Findings

Established the strong partition property for ^2_1

Developed new inner model theoretical methods

Bridged inner model theory with combinatorial set theory

Abstract

We prove the strong partition property for \delta^2_1 using methods from inner model theory.