No CrossRef data available.
Article contents
NOTE ON
$\mathsf {TD} + \mathsf {DC}_{\mathbb {R}}$ IMPLYING
$\mathsf {AD}^{L(\mathbb {R})}$
Published online by Cambridge University Press: 04 January 2024
Abstract
A short core model induction proof of $\mathsf {AD}^{L(\mathbb {R})}$ from
$\mathsf {TD} + \mathsf {DC}_{\mathbb {R}}$.
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic