Kreuzer, Alexander P.
- Measure theory and higher order arithmetic
2013/12/05 by Alexander Kreuzer, Alexander P. Kreuzer, Kreuzer, Alexander P. · 1 citation
Computer Science · Mathematics · #03B30 (primary) #03E35 (secondary) #03F35 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #math.LO #msc:03B30 #msc:03E35 #msc:03F35