5 citations · 10 across the 12 of their papers we have counts for
20 papers
The weakness of typicality
Eric P. Astor, Laurent Bienvenu, Damir Dzhafarov +4
Many statements studied in reverse mathematics can be seen as mathematical problems, formulated in terms of instances and solutions. We develop a framework of typicality encompassi…
Redundancy of information: lowering dimension
Jun Le Goh, Joseph S. Miller, Mariya I. Soskova +1
Let At denote the set of infinite sequences of effective dimension t. We determine both how close and how far an infinite sequence of dimension s can be from one of dimension t, me…
Borel combinatorics fail in HYP
Henry Towsner, Rose Weisshaar, Linda Westrick
We characterize the completely determined Borel subsets of HYP as exactly the omega_1^{ck} subsets of HYP. As a result, HYP believes there is a Borel well-ordering of the reals, th…
A topological approach to undefinability in algebraic extensions of
Kirsten Eisentraeger, Russell Miller, Caleb Springer +1
For any subset , consider the set of subfields which contain a co-infinite subset that is universal…
Luzin's (N) and randomness reflection
Arno Pauly, Linda Westrick, Liang Yu
We show that a computable function has Luzin's property (N) if and only if it reflects -randomnes, if and only if it reflects $Δ^1_1(\mathc…
A note on the diamond operator
Linda Westrick
We show that if and , then , where and are the following operations in the Weihrauch lattice: is th…