TD implies CCR
Logic
2020-12-22 v2
Abstract
Assuming ZF, we prove that Turing determinacy (TD) implies countable choice axiom for sets of reals (CCR).
Keywords
Cite
@article{arxiv.2012.10003,
title = {TD implies CCR},
author = {Yinhe Peng and Liang Yu},
journal= {arXiv preprint arXiv:2012.10003},
year = {2020}
}
Related papers
View all related →
Logic · Mathematics
Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$
Yinhe Peng, Liuzhen Wu, Liang Yu
2021-08-18
Logic · Mathematics
Turing Invariant Sets and the Perfect Set Property
Clovis Hamel, Haim Horowitz, Saharon Shelah
2020-04-06
Logic · Mathematics
A definable nonstandard model of the reals
Vladimir Kanovei, Saharon Shelah
2018-08-16
Logic · Mathematics
Nondeterministic infinite time Turing machines
Erin Carmody
2023-12-27
Logic · Mathematics
Definable tree property for uncountable regular cardinals
Mohammad Golshani, Mostafa Mirabi
2023-10-10
Logic · Mathematics
The Axiom of Determinacy Implies Dependent Choices in Mice
Sandra Müller
2019-07-08
Logic · Mathematics
Infinite Time Turing Machines
Joel David Hamkins, Andy Lewis
2007-05-23
Logic · Mathematics
Infinite time computable model theory
Joel David Hamkins, Russell Miller, Daniel Seabold, Steve Warner
2007-05-23
Logic · Mathematics
A model of the Axiom of Determinacy in which every set of reals is universally Baire
Paul B. Larson, Grigor Sargsyan, Trevor Wilson
2025-06-18
Logic · Mathematics
Definable sets in Skolem arithmetic
Łukasz Kamiński
2025-10-03
Computational Complexity · Computer Science
A Stronger Foundation for Computer Science and P=NP
Mark Inman
2018-04-24
Logic · Mathematics
The Axiom of Multiple Choice and Models for Constructive Set Theory
Benno van den Berg, Ieke Moerdijk
2013-09-27
Logic · Mathematics
The Undecidability of the Definability of Principal Subcongruences
Matthew Moore
2019-06-07
Logic · Mathematics
Realizability Models Separating Various Fan Theorems
Robert S. Lubarsky, Michael Rathjen
2015-10-09
Logic · Mathematics
Recognizable Realizability
Merlin Carl
2024-08-14
Logic · Mathematics
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
Grant Olney Passmore
2015-06-17
General Mathematics · Mathematics
A severe inconsistency of transfinite set theory
W. Mueckenheim
2007-05-23
Combinatorics · Mathematics
Periodicity and decidability of tilings of $\mathbb{Z}^{2}$
Siddhartha Bhattacharya
2016-02-19
Logic · Mathematics
Decidability of some complicated structures definable in $\mathbb{C}(t)$
Thomas Scanlon
2025-08-26
Artificial Intelligence · Computer Science
Decidable Reasoning in Terminological Knowledge Representation Systems
M. Buchheit, F. M. Donini, A. Schaerf
2014-11-17
Machine Learning · Computer Science
Evidential Turing Processes
Melih Kandemir, Abdullah Akgül, Manuel Haussmann, Gozde Unal
2022-03-09
Logic in Computer Science · Computer Science
Sets, the Axiom of Choice, And All That: A Tutorial
Ernst-Erich Doberkat
2014-09-01
Logic in Computer Science · Computer Science
Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice.
Lawrence C. Paulson, Krzysztof Grabczewski
2016-08-31
Logic in Computer Science · Computer Science
Formalization of the Axiom of Choice and its Equivalent Theorems
Tianyu Sun, Wensheng Yu
2019-06-11
Logic · Mathematics
Vaught's conjecture for theories of discretely ordered structures
Predrag Tanović
2026-02-24