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

Sean Cody

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