Downey, Rod
- Any FIP real computes a 1-generic
2015/02/12 by Peter Cholak, Cholak, Peter, Rodney G. Downey +3 · 1 citation
Computer Science · Mathematics · #03D30 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #semigroups and automata theory
- Relationships between computability-theoretic properties of problems
2019/03/11 by Downey, Rod, Greenberg, Noam, Harrison-Trainor, Matthew +2 · 1 citation
#FOS: Mathematics #Logic (math.LO)