20 citations · 82 across the 18 of their papers we have counts for
1 paper · 1 filter
Andrew Swan
The existence of least finite support is used throughout the subject of nominal sets. In this paper we give some Brouwerian counterexamples showing that constructively, least finit…