TY - RPRT TI - The Finite Embedding Property for IP Loops and Local Embeddability of Groups into Finite IP Loops AU - Martin Vodička AU - Pavol Zlatoš PY - 2018 UR - https://arxiv.org/abs/1810.07575 ID - 1810.07575 ER -