Miller, Joseph S.
- Forcing with Bushy Trees
2015/03/30 by Khan, Mushfeq, Miller, Joseph S. · 3 citations
#FOS: Mathematics #Logic (math.LO)
- Cupping with random sets
2012/06/07 by Adam R. Day, Joseph S. Miller, Day, Adam R. +1 · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #semigroups and automata theory #Benford’s Law and Fraud Detection
- Denjoy, Demuth, and Density
2013/08/29 by Laurent Bienvenu, Bienvenu, Laurent, Rupert Hölzl +5 · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #semigroups and automata theory
- Density, forcing, and the covering problem
2013/04/09 by Day, Adam R., Miller, Joseph S. · 1 citation
#FOS: Mathematics #Logic (math.LO)
- Martin-Löf reducibility and cost functions
2017/07/02 by Noam Greenberg, Joseph S. Miller, Greenberg, Noam +5 · 1 citation
Computer Science · Mathematics · #03D30 #03D32 #68Q30 #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rough Sets and Fuzzy Logic #semigroups and automata theory