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