Schröder, Matthias

1. Overt choice
   2019/02/14 by Matthew de Brecht, de Brecht, Matthew, Arno Pauly +3 · 2 citations
   Computer Science · Mathematics · #03D80 #54D55 #54H99 #Advanced Banach Space Theory #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Admissibly Represented Spaces and Qcb-Spaces
   2020/04/20 by Schröder, Matthias · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)