Sean Cody

website under construction

Publications

Note on $\mathsf{TD}$ implying $\mathsf{AD}^{L(\mathbb{R})}$ – A core model induction proof of the full axiom of determinacy in the inner model $L(\mathbb{R})$ from Turing determinacy. Published in J. Symb. Log., 2024. [arXiv, published version]