TY - RPRT TI - Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra AU - Emmanuel Jeandel PY - 2017 UR - https://arxiv.org/abs/1505.07578 ID - 1505.07578 ER -