Overt choice

de Brecht, M; Pauly, A; Schroder, M

COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2020; 9 (3-4): 169

Abstract

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......

Full Text Link