Matthias Schröder

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) #cs.LO #math.GN #math.LO #msc:03D80 #msc:54D55 #msc:54H99
2. Admissibly Represented Spaces and Qcb-Spaces
   2020/04/20 by Matthias Schröder, Schröder, Matthias · 2 citations
   Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Algebra over a field #Birnbaum–Orlicz space #Compact-open topology #Computability, Logic, AI Algorithms #Computer science #FOS: Computer and information sciences #Fréchet space #Functional analysis #Interpolation space #Locally convex topological vector space #Logic in Computer Science (cs.LO) #Mathematics #Pure mathematics #Space (punctuation) #Subclass #Topological space #Topological tensor product #Type (biology) #cs.LO