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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

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

Games and reflection in.J. P. Aguilera - 2020 - Journal of Symbolic Logic 85 (3):1102-1123.
Games and induction on reals.J. P. Aguilera & P. D. Welch - 2021 - Journal of Symbolic Logic 86 (4):1676-1690.
Determinacy of Schmidt’s Game and Other Intersection Games.Logan Crone, Lior Fishman & Stephen Jackson - 2023 - Journal of Symbolic Logic 88 (1):1-21.
Divergent Models with the Failure of the Continuum Hypothesis.Nam Trang - forthcoming - Journal of Symbolic Logic:1-11.
Countable Length Everywhere Club Uniformization.William Chan, Stephen Jackson & Nam Trang - 2023 - Journal of Symbolic Logic 88 (4):1556-1572.
Does Imply, Uniformly?Alessandro Andretta & Lorenzo Notaro - forthcoming - Journal of Symbolic Logic:1-25.
The axiom of real Blackwell determinacy.Daisuke Ikegami, David de Kloet & Benedikt Löwe - 2012 - Archive for Mathematical Logic 51 (7-8):671-685.
Supercompactness Can Be Equiconsistent with Measurability.Nam Trang - 2021 - Notre Dame Journal of Formal Logic 62 (4):593-618.
On forcing over $$L(\mathbb {R})$$.Daniel W. Cunningham - 2023 - Archive for Mathematical Logic 62 (3):359-367.
On the Uncountability Of.Dag Normann & Sam Sanders - 2022 - Journal of Symbolic Logic 87 (4):1474-1521.

Analytics

Added to PP
2024-02-06

Downloads
23 (#937,234)

6 months
11 (#338,628)

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