This question arises from discussions with my professor and from Todd Eisworth comments in this question Large cardinal axioms and the perfect set property

In $L(\mathbb{R})$ we have $AD$ and it is a powerful tool to prove theorems. Almost all of the theorem proved with $AD$ come in a very natural way: we use games and determinacy as in the First/Second/Third Periodicity Theorems. However no "$ZF$+Large Cardinal" proof is known for the Periodicity Theorems. Another example is that of the Perfect Set Property: Using $AD$ all sets of reals have the Perfect Set Property, but is a proof of the statement "Assuming infinitely many Woodin cardinals with a measurable above then every set of reals has the perfect set property" known?

So my question is: which theorems proved with $AD$ also have a known proof in the $ZF$+large cardinals world?

This question arises from discussions with my professor and from Todd Eisworth comments in this question Large cardinal axioms and the perfect set property

In $L(\mathbb{R})$ we have $AD$ and it is a powerful tool to prove theorems. Almost all of the theorem proved with $AD$ come in a very natural way: we use games and determinacy as in the First/Second/Third Periodicity Theorems. However no "$ZF$+Large Cardinal" proof is known for the Periodicity Theorems. Another example is that of the Perfect Set Property: Using $AD$ all sets of reals have the Perfect Set Property, but is a proof of the statement "Assuming infinitely many Woodin cardinals with a measurable above then every set of reals has the perfect set property" known?

So my question is: which theorems proved with $AD$ also have a known proof in the $ZF$+large cardinals world?

This question arises from discussions with my professor and from Todd Eisworth comments in this question Large cardinal axioms and the perfect set property

In $L(\mathbb{R})$ we have $AD$ and it is a powerful tool to prove theorems. Almost all of the theorem proved with $AD$ come in a very natural way: we use games and determinacy as in the First/Second/Third Periodicity Theorems. However no "$ZFC$+Large Cardinal" proof is known for the Periodicity Theorems. Another example is that of the Perfect Set Property: Using $AD$ all sets of reals have the Perfect Set Property, but is a proof of the statement "Assuming infinitely many Woodin cardinals with a measurable above then every set of reals has the perfect set property" known?

So my question is: which theorems proved with $AD$ also have a known proof in the $ZFC$+large cardinals world?

This question arises from discussions with my professor and from Todd Eisworth comments in this question Large cardinal axioms and the perfect set property

In $L(\mathbb{R})$ we have $AD$ and it is a powerful tool to prove theorems. Almost all of the theorem proved with $AD$ come in a very natural way: we use games and determinacy as in the First/Second/Third Periodicity Theorems. However no "$ZF$+Large Cardinal" proof is known for the Periodicity Theorems. Another example is that of the Perfect Set Property: Using $AD$ all sets of reals have the Perfect Set Property, but is a proof of the statement "Assuming infinitely many Woodin cardinals with a measurable above then every set of reals has the perfect set property" known?

So my question is: which theorems proved with $AD$ also have a known proof in the $ZF$+large cardinals world?