Note on Implying

Journal of Symbolic Logic 89 (1):211-217 (2024)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2023.98

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Supercompactness Can Be Equiconsistent with Measurability.Nam Trang - 2021 - Notre Dame Journal of Formal Logic 62 (4):593-618.
A Diamond Principle Consistent with AD.Daniel Cunningham - 2017 - Notre Dame Journal of Formal Logic 58 (3):397-407.
Divergent Models with the Failure of the Continuum Hypothesis.Nam Trang - forthcoming - Journal of Symbolic Logic:1-11.
Sets and singletons.Kai Hauser & W. Hugh Woodin - 1999 - Journal of Symbolic Logic 64 (2):590-616.
Two Applications Of Inner Model Theory To The Study Of \sigma^1_2 Sets.Greg Hjorth - 1996 - Bulletin of Symbolic Logic 2 (1):94-107.
Two applications of inner model theory to the study of $\underset \sim \to{\sigma}{}_{2}^{1}$ sets.Greg Hjorth - 1996 - Bulletin of Symbolic Logic 2 (1):94 - 107.
Beauty in science: a new model of the role of aesthetic evaluations in science. [REVIEW]Ulianov Montano - 2013 - European Journal for Philosophy of Science 3 (2):133-156.
A Framework for Inductive Reasoning in Model-Based Science.M. M. Barroso Rojo - 2023 - Revista de Humanidades de Valparaíso (23):259-285.
A Framework for Inductive Reasoning in Model-Based Science.Milagros Maribel Barroso Rojo - 2023 - Revista de Humanidades de Valparaíso 23:259-285.
Saturated Models for the Working Model Theorist.Yatir Halevi & Itay Kaplan - 2023 - Bulletin of Symbolic Logic 29 (2):163-169.
The real core model and its scales.Daniel W. Cunningham - 1995 - Annals of Pure and Applied Logic 72 (3):213-289.
The consistency strength of long projective determinacy.Juan P. Aguilera & Sandra Müller - 2019 - Journal of Symbolic Logic 85 (1):338-366.
Weak Indestructibility and Reflection.James Holland - forthcoming - Journal of Symbolic Logic:1-27.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.

Analytics

Added to PP
2024-02-06

Downloads
10 (#1,199,114)

6 months
10 (#276,689)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Optimal proofs of determinacy II.Itay Neeman - 2002 - Journal of Mathematical Logic 2 (2):227-258.

Add more references