Sanders, Sam
- Open sets in computability theory and Reverse Mathematics
2019/10/06 by Dag Normann, Normann, Dag, Sam Sanders +1 · 1 citation
Computer Science · Mathematics · #03B30 #03D65 #03F35 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #semigroups and automata theory
- Reverse Mathematics and parameter-free Transfer
2014/09/24 by Benno van den Berg, Sam Sanders, Berg, Benno van den +1 · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #FOS: Mathematics #History and Theory of Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis