SOME CONSEQUENCES OF AND

Publication date 22 December 2023

Abstract: Strongly Turing determinacy, or

m a t h r m s T D

, says that for any set

A

of reals, if

f o r a l l x e x i s t s y g e q_{T} x (y i n A)

, then there is a pointed set

P s u b s e t e q A

. We prove the following consequences of Turing determinacy (

m a t h r m T D

) and

m a t h r m s T D

: (1).

m a t h r m Z F + T D

implies weakly dependent choice (

m a t h r m w D C

). (2).

m a t h r m Z F + s T D

implies that every set of reals is measurable and has Baire property. (3).

m a t h r m Z F + s T D

implies that every uncountable set of reals has a perfect subset. (4).

m a t h r m Z F + s T D

implies that for any set of reals

A

and any

e p s i l o n > 0

, (a) there is a closed set

F s u b s e t e q A

so that

m a t h r m D i m_{H} (F) g e q m a t h r m D i m_{H} (A) - e p s i l o n

. (b) there is a closed set

F s u b s e t e q A

so that

m a t h r m D i m_{P} (F) g e q m a t h r m D i m_{P} (A) - e p s i l o n

.

Cites work

This page was built for publication: SOME CONSEQUENCES OF AND