Статья

Kreuzer, Alexander P.
On idempotent ultrafilters in higher-order reverse mathematics / A. P. Kreuzer // The Journal of Symbolic Logic. – 2015. – Vol.80, № 1. – P. 179-193.