Searchable Sets, Dubuc-Penon Compactness, Omniscience Principles, and the Drinker Paradox

by Martín Escardó , Paulo Oliva
Citations:2 - 2 self