Note on $\mathsf{TD} + \mathsf{DC}_\mathbb{R}$ implying $\mathsf{AD}^{L(\mathbb{R})}$
Logic
2021-10-05 v1
Authors:
Sean Cody
Abstract
A short core model induction proof of ADL(R) from TD+DCR.
Cite
@article{arxiv.2110.01135,
title = {Note on $\mathsf{TD} + \mathsf{DC}_\mathbb{R}$ implying $\mathsf{AD}^{L(\mathbb{R})}$},
author = {Sean Cody},
journal= {arXiv preprint arXiv:2110.01135},
year = {2021}
}
Comments
5 pages
Related papers
View all related →
Logic · Mathematics
Building Models of Determinacy from Below
Obrad Kasum, Grigor Sargsyan
2025-01-23
Logic · Mathematics
The Destruction of the Axiom of Determinacy by Forcings on $\mathbb{R}$ when $\Theta$ is Regular
William Chan, Stephen Jackson
2019-03-19
Combinatorics · Mathematics
Simple Proofs of two Dirac-type Theorems Involving Connectivity
Karlen Mosesyan, Mher Nikoghosyan, Zhora Nikoghosyan
2009-07-27
Numerical Analysis · Mathematics
A Note on Adjoint Linear Algebra
Uwe Naumann
2025-10-20
Logic · Mathematics
The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
Daisuke Ikegami, W. Hugh Woodin
2026-03-18
Logic · Mathematics
Preservation of AD via forcings
Daisuke Ikegami, Nam Trang
2023-04-04
Logic · Mathematics
$L(\mathbb{R})$ with Determinacy Satisfies the Suslin Hypothesis
William Chan, Stephen Jackson
2018-03-23
High Energy Physics - Phenomenology · Physics
Color dipoles, PCAC and Adler's theorem
R. Fiore, V. R. Zoller
2008-11-26
Information Theory · Computer Science
Linear Complementary Dual Codes Constructed from Reinforcement Learning
Yansheng Wu, Jin Ma, Shandong Yang
2024-09-13
Algebraic Geometry · Mathematics
Mld's vs thresholds and flips
Caucher Birkar, V. V. Shokurov
2007-05-23
Logic in Computer Science · Computer Science
On the discriminating power of tests in resource lambda-calculus
Flavien Breuvart
2012-05-23
Machine Learning · Computer Science
Taylor TD-learning
Michele Garibbo, Maxime Robeyns, Laurence Aitchison
2023-10-19
Logic · Mathematics
Local Definability of $\mathsf{HOD}$ in $L(\mathbb{R})$
Obrad Kasum
2023-08-03
Rings and Algebras · Mathematics
The Addition Theorem for algebraic entropies induced by non-discrete length functions
Luigi Salce, Simone Virili
2015-05-12
Artificial Intelligence · Computer Science
On the Non-Monotonic Description Logic $\mathcal{ALC}$+T$_{\mathsf{min}}$
Oliver Fernández Gil
2014-04-29
Algebraic Geometry · Mathematics
Minimal model program for normal pairs along log canonical locus
Kenta Hashizume
2025-10-21
Programming Languages · Computer Science
The Path to Durable Linearizability
Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis
2022-11-15
Logic · Mathematics
Forcing More DC Over the Chang Model Using the Thorn Sequence
James Holland, Grigor Sargsyan
2024-04-01
Logic in Computer Science · Computer Science
An introduction to Differential Linear Logic: proof-nets, models and antiderivatives
Thomas Ehrhard
2016-06-07
Machine Learning · Computer Science
On Learning with LAD
C. A. Jothishwaran, Biplav Srivastava, Jitin Singla, Sugata Gangopadhyay
2023-09-29
Group Theory · Mathematics
A note on characterized and statistically characterized subgroups of $\mathbb{T}=\mathbb{R}/\mathbb{Z}$
Hans Weber
2025-04-09
High Energy Physics - Theory · Physics
Characteristic length of an AdS/CFT superconductor
Kengo Maeda, Takashi Okamura
2008-12-18
Logic · Mathematics
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
2023-06-22
Logic in Computer Science · Computer Science
The Delta-framework
Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
2018-08-22
Logic in Computer Science · Computer Science
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann +1
2023-08-08