TY - RPRT TI - Idempotent ultrafilters without Zorn's Lemma AU - Mauro Di Nasso AU - Eleftherios Tachtsis PY - 2017 UR - https://arxiv.org/abs/1701.03301 ID - 1701.03301 ER -