101 citations · 491 across the 53 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 14 cited
Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
Arno Pauly, Matthew de Brecht
Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in…
math.LO2013★ 25 cited
Finite choice, convex choice and finding roots
Stéphane Le Roux, Arno Pauly
We investigate choice principles in the Weihrauch lattice for finite sets on the one hand, and convex sets on the other hand. Increasing cardinality and increasing dimension both c…