We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$

Abstract: Strongly Turing determinacy, or $\mathrm{sTD}$, says that for any set $A$ of reals, if $\forall x\exists y\geq_T x (y\in A)$, then there is a pointed set $P\subseteq A$. We prove the following consequences of Turing determinacy ($\mathrm{TD}$) and $\mathrm{sTD}$:
(1). $\mathrm{ZF+TD}$ implies weakly dependent choice ($\mathrm{wDC}$).
(2). $\mathrm{ZF+sTD}$ implies that every set of reals is measurable and has Baire property.
(3). $\mathrm{ZF+sTD}$ implies that every uncountable set of reals has a perfect subset.
(4). $\mathrm{ZF+sTD}$ implies that for any set of reals $A$ and any $\epsilon>0$,
(a) there is a closed set $F\subseteq A$ so that $\mathrm{Dim_H}(F)\geq \mathrm{Dim_H}(A)-\epsilon$.
(b) there is a closed set $F\subseteq A$ so that $\mathrm{Dim_P}(F)\geq \mathrm{Dim_P}(A)-\epsilon$.
Comments: Better version
Subjects: Logic (math.LO)
MSC classes: 03D28, 03E05, 03E15, 03E25, 03E60, 28A80, 68Q30
Cite as: arXiv:2107.10470 [math.LO]
  (or arXiv:2107.10470v2 [math.LO] for this version)

Submission history

From: Liang Yu Prof [view email]
[v1] Thu, 22 Jul 2021 06:06:22 GMT (18kb)
[v2] Tue, 17 Aug 2021 07:01:32 GMT (17kb)

Link back to: arXiv, form interface, contact.