Note on $\mathsf{TD}+{\mathsf{DC}}_{\mathbb{R}}$ implying ${\mathsf{AD}}^{L(\mathbb{R})}$

Abstract

A short core model induction proof of ${\mathsf{AD}}^{L(\mathbb{R})}$ from $\mathsf{TD}+{\mathsf{DC}}_{\mathbb{R}}$.

5 pages