3 citations · 3 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2014
Hyperprojective Hierarchy of QCB_0-spaces
Matthias Schröder, Victor Selivanov
We extend the Luzin hierarchy of qcb-spaces introduced in [ScS13] to all countable ordinals, obtaining in this way the hyperprojective hierarchy of qcb-spaces. We generaliz…