3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Akitoshi Kawamura, Florian Steinberg
This paper introduces a more restrictive notion of feasibility of functionals on Baire space than the established one from second-order complexity theory. Thereby making it possibl…