1 citations · 1 across the 1 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2017★ 1 cited
Rado's conjecture and its Baire version
Jing Zhang
Rado's Conjecture is a compactness/reflection principle that says any nonspecial tree of height has a nonspecial subtree of size . Though incompatible with Mar…
math.LO2014
Using almost-everywhere theorems from analysis to study randomness
Kenshi Miyabe, André Nies, Jing Zhang
We study algorithmic randomness notions via effective versions of almost-everywhere theorems from analysis and ergodic theory. The effectivization is in terms of objects described…