Liang Yu

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2025

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees

Sirun Song, Liang Yu

This paper investigates the Hausdorff dimension properties of chains and antichains in Turing degrees and hyperarithmetic degrees. Our main contributions are threefold: First, for…

math.LO2021

Some consequences of $TD$ and $sTD$

Yinhe Peng, Liuzhen Wu, Liang Yu

Strongly Turing determinacy, or $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 t…

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees

Some consequences of TD and sTD

Some consequences of $TD$ and $sTD$