Liang Yu

activity

20142026

most citedHigher Kurtz randomness

9 citations · 9 across the 6 of their papers we have counts for

collaborators

Showing 2020Show all

2 papers · 1 filter

math.LO2020

TD implies CCR

Yinhe Peng, Liang Yu

Assuming $ZF$ , we prove that Turing determinacy ( $TD$ ) implies countable choice axiom for sets of reals ( $CCR$ ).

math.LO2020

Luzin's (N) and randomness reflection

Arno Pauly, Linda Westrick, Liang Yu

We show that a computable function $f : R \to R$ has Luzin's property (N) if and only if it reflects $Π_{1}^{1}$ -randomnes, if and only if it reflects $Δ^1_1(\mathc…