16 citations · 67 across the 20 of their papers we have counts for
1 paper · 2 filters
Alexander P. Kreuzer
We analyze the strength of the existence of idempotent ultrafilters in higher-order reverse mathematics. Let (Uidem) be the statement that an idempotent ultrafilter on the natural…