TY - RPRT TI - Varieties generated by completions AU - H. Andréka AU - I. Németi PY - 2018 DO - 10.1007/s00012-019-0602-8 UR - https://arxiv.org/abs/1810.04569 ID - 1810.04569 ER -