Matthias Schröder

activity

20142017

most citedA Hofmann-Mislove Theorem for Scott open sets

8 citations · 8 across the 3 of their papers we have counts for

collaborators

3 papers

cs.LO2017

Bounded time computation on metric spaces and Banach spaces

Matthias Schröder, Florian Steinberg

We extend the framework by Kawamura and Cook for investigating computational complexity for operators occurring in analysis. This model is based on second-order complexity theory f…

math.LO2015★ 8 cited

A Hofmann-Mislove Theorem for Scott open sets

Matthias Schröder

We consider the intersection map on the family of non-empty $ω$ -Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spac…

cs.LO2014

Hyperprojective Hierarchy of QCB_0-spaces

Matthias Schröder, Victor Selivanov

We extend the Luzin hierarchy of qcb $_{0}$ -spaces introduced in [ScS13] to all countable ordinals, obtaining in this way the hyperprojective hierarchy of qcb $_{0}$ -spaces. We generaliz…