9 citations · 9 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.LO2026
Order-preserving maps of the Turing degrees: regularity and consistency strength
Liang Yu
We formulate a proof of Part~I of Martin's conjecture for order-preserving maps directly on the quotient of the reals by Turing equivalence. The assumptions are countable choice fo…
math.LO2026
Small additive groups with
Liang Yu
We prove that, for every irrational , any additive subgroup of has an $\Q$-vector space extension of the same Hausdorff dimension satisfying . Iteratio…