5 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Matthew de Brecht, Arno Pauly, Matthias Schröder
We introduce and study the notion of overt choice for countably-based spaces and for CoPolish spaces. Overt choice is the task of producing a point in a closed set specified by wha…