7 citations · 9 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2020★ 7 cited
Foundations of Online Structure Theory II: The Operator Approach
Rod Downey, Alexander Melnikov, Keng Meng Ng
We introduce a framework for online structure theory. Our approach generalises notions arising independently in several areas of computability theory and complexity theory. We sugg…
math.LO2015★ 2 cited
Any FIP real computes a 1-generic
Peter Cholak, Rod Downey, Greg Igusa
We construct a computable sequence of computable reals such that any real that can compute a subsequence that is maximal with respect to the finite intersectio…